Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Véronique Bruyère, Emmanuel Dall Olio, Jean-François Raskin. Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. In Helmut Alt, Michel Habib, editors, STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings. Volume 2607 of Lecture Notes in Computer Science, pages 687-698, Springer, 2003. [doi]

This author has not been identified. Look up 'Véronique Bruyère' in GoogleThis author has not been identified. Look up 'Emmanuel Dall Olio' in GoogleThis author has not been identified. Look up 'Jean-François Raskin' in Google

runs on WebDSL