PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Srba, Jirí"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Energy Games in Multiweighted Automata.

, , , und . ICTAC, Volume 6916 von Lecture Notes in Computer Science, Seite 95-115. Springer, (2011)

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.

Keine Personen gefunden für den Autorennamen Srba, Jirí
Eine Person hinzufügen mit dem Namen Srba, Jirí
 

Weitere Publikationen von Autoren mit dem selben Namen

On the computational complexity of bisimulation, redux., , und . Inf. Comput., 194 (2): 129-143 (2004)Time-Darts: A Data Structure for Verification of Closed Timed Automata, , und . SSV, Volume 102 von EPTCS, Seite 141-155. (2012)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)Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete., , , und . ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2009)Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization., , und . SPIN, Volume 9641 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2016)Parametric Modal Transition Systems., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2011)Note on the Tableau Technique for Commutative Transition Systems.. FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 387-401. Springer, (2002)Undecidability Results for Bisimilarity on Prefix Rewrite Systems., und . FoSSaCS, Volume 3921 von Lecture Notes in Computer Science, Seite 277-291. Springer, (2006)Verification of Liveness Properties on Closed Timed-Arc Petri Nets., , , , und . MEMICS, Volume 7721 von Lecture Notes in Computer Science, Seite 69-81. Springer, (2012)Deadlocking States in Context-Free Process Algebra.. MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 388-398. Springer, (1998)