( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Compiled File System Code.

, и . SBMF, том 5902 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2009)

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.

Gerald Lüttgen

Walter Lüttgen

Holger Lüttgen

Jenna Lüttgen

Nina Lüttgen

 

Другие публикации лиц с тем же именем

The intuitionism behind Statecharts steps., и . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)What Is in a Step: New Perspectives on a Classical Question., , и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 370-399. Springer, (2010)Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , и . Softw. Concepts Tools, 17 (2): 50-62 (1996)Bisimulation on speed: A unified approach., и . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)Measuring and Evaluating Parallel State-Space Exploration Algorithms., и . PDMC@CAV, том 198 из Electronic Notes in Theoretical Computer Science, стр. 47-61. Elsevier, (2007)A-maze-ing Esterel., , и . SLAP, том 88 из Electronic Notes in Theoretical Computer Science, стр. 21-37. Elsevier, (2003)Accessing Databases within Esterel., и . SYNCHRON, том 04491 из Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Heap Patterns for Memory Graph Visualization., и . VISSOFT, стр. 162-166. IEEE, (2022)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 648-663. Springer, (2007)Symbolic object code analysis., и . Int. J. Softw. Tools Technol. Transf., 16 (1): 81-102 (2014)