TY - JOUR
KW - Timed automata
KW - timed transition systems
KW - transition systems
AU - Jeroen Keiren
AU - Peter Fontana
AU - Rance Cleaveland
BT - ACM Comput. Surv.
DO - 10.1145/3078809
LA - eng
PY - 2017
EP - 42:1–42:8
T2 - ACM Comput. Surv.
TI - Corrections to "A Menagerie of Timed Automata"
UR - http://doi.acm.org/10.1145/3078809
VL - 50
SN - 0360-0300
ER -