PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lüttgen, Gerald"

Author of the publication

copydeleteadd this publication to your clipboard
Accessing Databases within Esterel.

, and . SYNCHRON, volume 04491 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerald Blessing University of Stuttgart

Gerald Stöckl University of Stuttgart

 

Other publications of authors with the same name

Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , and . Software - Concepts and Tools, 17 (2): 50-62 (1996)Bisimulation on speed: A unified approach., and . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)Compositional Minimisation of Finite State Systems Using Interface Specifications., , and . Formal Asp. Comput., 8 (5): 607-616 (1996)Nondeterministic Modal Interfaces., , , and . Theor. Comput. Sci., (2016)A compositional approach to statecharts semantics., , and . SIGSOFT FSE, page 120-129. ACM, (2000)The intuitionism behind Statecharts steps., and . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)Using formal specifications to support testing., , , , , , , , , and 5 other author(s). ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)What Is in a Step: New Perspectives on a Classical Question., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 370-399. Springer, (2010)Accessing Databases within Esterel., and . SYNCHRON, volume 04491 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 648-663. Springer, (2007)