( en | de | ru )

 

Disambiguierung von "Steffen, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.

. Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 393-406. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

 

Weitere Publikationen von Autoren mit dem selben Namen

Lazy behavioral subtyping., , , und . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.. Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 393-406. Springer, (2016)Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction., , , , , und . BIBM, Seite 411-416. IEEE Computer Society, (2008)Stride on saturn m7 for interactive musical instrument design., , , und . NIME, Seite 503-504. nime.org, (2017)Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems., , , und . NIK, Bibsys Open Journal Systems, Norway, (2016)Verification of Hybrid Systems: Formalization and Proof Rules in PVS., , und . ICECCS, Seite 48-57. IEEE Computer Society, (2001)Verification of a wireless ATM medium-access protocol., und . APSEC, Seite 84-91. IEEE Computer Society, (2000)Synchronous Closing of Timed SDL Systems for Model Checking., und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 79-93. Springer, (2002)Iterating Transducers., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 286-297. Springer, (2001)