Autor der Publikation

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

A Product Version of Dynamic Linear Time Temporal Logic., und . CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 45-58. Springer, (1997)An Expressive Extension of TLC.. ASIAN, Volume 1742 von Lecture Notes in Computer Science, Seite 126-138. Springer, (1999)Mona: Monadic Second-Order Logic in Practice., , , , , , und . TACAS, Volume 1019 von Lecture Notes in Computer Science, Seite 89-110. Springer, (1995)A theory of regular MSC languages., , , , und . Inf. Comput., 202 (1): 1-38 (2005)An Expressive Extension of TLC.. Int. J. Found. Comput. Sci., 13 (3): 341-360 (2002)Regular Collections of Message Sequence Charts., , , und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 405-414. Springer, (2000)Dynamic Linear Time Temporal Logic., und . Ann. Pure Appl. Logic, 96 (1-3): 187-207 (1999)Distributed Versions of Linear Time Temporal Logic: A Trace Perspective., und . Petri Nets, Volume 1491 von Lecture Notes in Computer Science, Seite 643-681. Springer, (1996)On Message Sequence Graphs and Finitely Generated Regular MSC Languages., , , und . ICALP, Volume 1853 von Lecture Notes in Computer Science, Seite 675-686. Springer, (2000)