I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Modal Process Rewrite Systems


Nikola Benes and Jan Kretinsky. Modal process rewrite systems. In Roychoudhury and D'Souza, pages 120–135.

Suggested BibTeX entry:

    author = {Nikola Benes and Jan Kretinsky},
    booktitle = {ICTAC},
    editor = {Abhik Roychoudhury and Meenakshi D'Souza},
    pages = {120-135},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Modal Process Rewrite Systems},
    volume = {7521},
    year = {2012}

This work is not available online here.