I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Dual-Priced Modal Transition Systems with Time Durations


Nikola Benes, Jan Kretinsky, Kim G. Larsen, Mikael H. Moller, and Jiri Srba. Dual-priced modal transition systems with time durations. Technical report FIMU-RS-2012-01, Faculty of Informatics, Masaryk University, Brno, 2012.

Suggested BibTeX entry:

    author = {Nikola Benes and Jan Kretinsky and Kim G. Larsen and Mikael H. Moller and Jiri Srba},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2012-01},
    title = {Dual-Priced Modal Transition Systems with Time Durations},
    type = {Technical report},
    year = {2012}

This work is not available online here.