TY  - RPRT
TI  - Corrections to A Menagerie of Timed Automata
AU  - Jeroen J. A. Keiren
AU  - Peter Fontana
AU  - Rance Cleaveland
PY  - 2016
DO  - 10.1145/3078809
UR  - https://arxiv.org/abs/1602.07165
ID  - 1602.07165
ER  -