Zum Inhalt springen

  1. Jacobs, Bart [VerfasserIn]; Bosnacki, Dragan [VerfasserIn]; Kuiper, Ruurd [VerfasserIn] ; Bart Jacobs and Dragan Bosnacki and Ruurd Kuiper [MitwirkendeR]

    Modular Termination Verification

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  2. Diepstraten, Eduard; Kuiper, Ruurd

    Lecture Notes in Computer Science: Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture Notes in Computer Science

  3. Zhou, Shengzong; Gerth, Rob; Kuiper, Ruurd

    CONCUR'93: Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1993

    Erschienen in: CONCUR'93