I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Process Algebra for Modal Transition Systemses


Nikola Benes and Jan Kretinsky. Process algebra for modal transition systemses. In MEMICS, pages 9–18, 2010.

Suggested BibTeX entry:

    author = {Nikola Benes and Jan Kretinsky},
    booktitle = {MEMICS},
    pages = {9-18},
    title = {Process Algebra for Modal Transition Systemses},
    year = {2010}

This work is not available online here.