A Benchmarks Library for Extended Parametric Timed Automata

Étienne André, Dylan Marinho, Jaco van de Pol. A Benchmarks Library for Extended Parametric Timed Automata. In Frédéric Loulergue, Franz Wotawa, editors, Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Volume 12740 of Lecture Notes in Computer Science, pages 39-50, Springer, 2021. [doi]

Authors

Étienne André

This author has not been identified. Look up 'Étienne André' in Google

Dylan Marinho

This author has not been identified. Look up 'Dylan Marinho' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google