TY - JOUR
AU - Peter Fontana
AU - Rance Cleaveland
BT - arXiv preprint arXiv:2005.13151
LA - eng
PY - 2020
T2 - arXiv preprint arXiv:2005.13151
TI - Timed Automata Benchmark Description
ER -