Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Berlin [u.a.] / Springer (2011) [Beitrag zu einem Tagungsband]

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
Seite(n): 404-415

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Fischer, Diana
Kaiser, Lukasz

Identifikationsnummern