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 Guldstrand Larsen, Mikael H. Moller, and Jiri Srba. Dual-priced modal transition systems with time durations. In Bjørner and Voronkov, pages 122–137.

Suggested BibTeX entry:

    author = {Nikola Benes and Jan Kretinsky and Kim Guldstrand Larsen and Mikael H. M{o}ller and Jir{i} Srba},
    booktitle = {LPAR},
    editor = {Nikolaj Bj{\o}rner and Andrei Voronkov},
    pages = {122-137},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Dual-Priced Modal Transition Systems with Time Durations},
    volume = {7180},
    year = {2012}

This work is not available online here.