Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Berlin [u.a.] / Springer (2011) [Contribution to a conference proceedings]

Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 ; proceedings / Luca Aceto; Monika Henzinger; Jiri Sgall (eds.). - Pt. 2
Page(s): 404-415

Authors

Selected Authors

Fischer, Diana
Kaiser, Lukasz

Identifier