( en | de | ru )

 

Disambiguierung von "Lüttgen, Gerald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Compiled File System Code.

, und . SBMF, Volume 5902 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2009)

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 Lüttgen

Walter Lüttgen

Holger Lüttgen

Jenna Lüttgen

Karsten Lüttgen

 

Weitere Publikationen von Autoren mit dem selben Namen

The intuitionism behind Statecharts steps., und . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)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)Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , und . Softw. Concepts Tools, 17 (2): 50-62 (1996)Bisimulation on speed: A unified approach., und . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)A-maze-ing Esterel., , und . SLAP, Volume 88 von Electronic Notes in Theoretical Computer Science, Seite 21-37. Elsevier, (2003)Accessing Databases within Esterel., und . SYNCHRON, Volume 04491 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Measuring and Evaluating Parallel State-Space Exploration Algorithms., und . PDMC@CAV, Volume 198 von Electronic Notes in Theoretical Computer Science, Seite 47-61. Elsevier, (2007)Heap Patterns for Memory Graph Visualization., und . VISSOFT, Seite 162-166. IEEE, (2022)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 648-663. Springer, (2007)A Practical Approach to Implementing Real-Time Semantics., , und . Ann. Softw. Eng., (1999)