On the Expressive Power of Invariants in Parametric Timed Automata.

tienne Andr, Didier Lime, Mathias Ramparison

Browse the full ICECCS paper archive.