PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Byg, Joakim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tools for Model-Checking Timed Systems.

, , , , , , , , , und 5 andere Autor(en). Communicating Embedded Systems, Wiley, (2013)

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 Byg, Joakim
Eine Person hinzufügen mit dem Namen Byg, Joakim
 

Weitere Publikationen von Autoren mit dem selben Namen

Tools for Model-Checking Timed Systems., , , , , , , , , und 5 andere Autor(en). Communicating Embedded Systems, Wiley, (2013)An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata., , und . ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 698-716. Springer, (2009)TCTL-preserving translations from timed-arc Petri nets to networks of timed automata., , , , , und . Theor. Comput. Sci., (2014)TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets., , und . ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 84-89. Springer, (2009)