Étienne André, Didier Lime, Mathias Ramparison. On the Expressive Power of Invariants in Parametric Timed Automata. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 87-96, IEEE, 2019. [doi]
Abstract is missing.