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

Reference:

Nikola Benes and Jan Kretinsky. Process algebra for modal transition systemses. Technical report FIMU-RS-2010-11, Faculty of Informatics, Masaryk University, Brno, 2010.

Suggested BibTeX entry:

@techreport{DBLP:confmemicsBenesK10-techrep,
    author = {Nikola Benes and Jan Kretinsky},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2010-11},
    title = {Process Algebra for Modal Transition Systemses},
    type = {Technical report},
    year = {2010}
}

This work is not available online here.