Author of the publication

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.

 

Other publications of authors with the same name

More Infinite Results., and . Current Trends in Theoretical Computer Science, World Scientific, (2001)Model-checking of infinite graphs defined by graph grammars., and . INFINITY, volume 5 of Electronic Notes in Theoretical Computer Science, page 16. Elsevier, (1996)Queues as Processes.. MFCS Workshop on Concurrency, volume 18 of Electronic Notes in Theoretical Computer Science, page 23. Elsevier, (1998)Automatic Verification of Sequential Infinite-State Processes. Lecture Notes in Computer Science Springer, (1997)More Infinite Results., and . Bulletin of the EATCS, (1997)Verification on Infinite Structures., , , and . Handbook of Process Algebra, North-Holland / Elsevier, (2001)More infinite results., and . INFINITY, volume 5 of Electronic Notes in Theoretical Computer Science, page 29. Elsevier, (1996)Model checking rationally restricted right closures of recognizable graphs.. INFINITY, volume 9 of Electronic Notes in Theoretical Computer Science, page 25. Elsevier, (1997)