PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jacobsen, Lasse"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

, , , und . SSV, Volume 102 von EPTCS, Seite 125-140. (2012)

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.

Lasse Dettmann University of Stuttgart

Lasse Wurzel University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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)TCTL-preserving translations from timed-arc Petri nets to networks of timed automata., , , , , und . Theor. Comput. Sci., (2014)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)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)A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets, , , und . SSV, Volume 102 von EPTCS, Seite 125-140. (2012)Verification of Timed-Arc Petri Nets., , , und . SOFSEM, Volume 6543 von Lecture Notes in Computer Science, Seite 46-72. Springer, (2011)