Autor der Publikation

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.

, , , und . EPEW, Volume 6342 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2010)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Channel Properties of Asynchronously Composed Petri Nets., , und . Petri Nets, Volume 7927 von Lecture Notes in Computer Science, Seite 369-388. Springer, (2013)Verification of Timed-Arc Petri Nets., , , und . SOFSEM, Volume 6543 von Lecture Notes in Computer Science, Seite 46-72. Springer, (2011)Dual-Priced Modal Transition Systems with Time Durations., , , , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2012)TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets., , , , , und . TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 492-497. Springer, (2012)Refinement checking on parametric modal transition systems., , , , , und . Acta Inf., 52 (2-3): 269-297 (2015)Compositional verification of real-time systems using Ecdar., , , , , , , und . STTT, 14 (6): 703-720 (2012)Specification of Asynchronous Component Systems with Modal I/O-Petri Nets., , und . TGC, Volume 8358 von Lecture Notes in Computer Science, Seite 219-234. Springer, (2013)A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking., , , und . EPEW, Volume 6342 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2010)Parametric Modal Transition Systems., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2011)Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants., , und . MEMICS, Volume 13 von OASIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)