%0 Journal Article
%B arXiv preprint arXiv:2005.13151
%D 2020
%G eng
%T Timed Automata Benchmark Description