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]
Abstract is missing.