On the Expressiveness of Parametric Timed Automata

Étienne André, Didier Lime, Olivier H. Roux. On the Expressiveness of Parametric Timed Automata. In Martin Fränzle, Nicolas Markey, editors, Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Volume 9884 of Lecture Notes in Computer Science, pages 19-34, Springer, 2016. [doi]

Abstract

Abstract is missing.