Autor der Publikation

Nested Timed Automata with Diagonal Constraints.

, , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 396-412. Springer, (2017)

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

Towards Building Virtual Vocabularies in the Semantic Web., , , und . ADMA (1), Volume 8346 von Lecture Notes in Computer Science, Seite 193-204. Springer, (2013)On Reachability Analysis of Updatable Timed Automata with One Updatable Clock., , und . SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2015)Nested Timed Automata with Diagonal Constraints., , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 396-412. Springer, (2017)An Over-Approximation Forward Analysis for Nested Timed Automata., , und . SOFL+MSVL, Volume 8979 von Lecture Notes in Computer Science, Seite 62-80. Springer, (2014)