PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lüttgen, Gerald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

, , , und . Software - Concepts and Tools, 17 (2): 50-62 (1996)

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.

Gerald Blessing University of Stuttgart

Gerald Stöckl University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A compositional approach to statecharts semantics., , und . SIGSOFT FSE, Seite 120-129. ACM, (2000)Nondeterministic Modal Interfaces., , , und . Theor. Comput. Sci., (2016)Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , und . Software - Concepts and Tools, 17 (2): 50-62 (1996)Compositional Minimisation of Finite State Systems Using Interface Specifications., , und . Formal Asp. Comput., 8 (5): 607-616 (1996)Bisimulation on speed: A unified approach., und . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)The intuitionism behind Statecharts steps., und . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)Using formal specifications to support testing., , , , , , , , , und 5 andere Autor(en). ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)What Is in a Step: New Perspectives on a Classical Question., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 370-399. Springer, (2010)Measuring and Evaluating Parallel State-Space Exploration Algorithms., und . Electron. Notes Theor. Comput. Sci., 198 (1): 47-61 (2008)Accessing Databases within Esterel., und . SYNCHRON, Volume 04491 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)