@inproceedings{DBLP:conf/tap/AndreMP21,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Jaco van de Pol},
editor = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Franz Wotawa},
title = {A Benchmarks Library for Extended Parametric Timed Automata},
booktitle = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {39--50},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79379-1\_3},
doi = {10.1007/978-3-030-79379-1\_3},
timestamp = {Tue, 13 Jul 2021 13:27:55 +0200},
biburl = {https://dblp.org/rec/conf/tap/AndreMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
