Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic.

Vronique Bruyre, Emmanuel Dall'Olio, Jean-Franois Raskin

Browse the full STACS paper archive.