TY - JOUR
AU - Jeroen Keiren
AU - Peter Fontana
AU - Rance Cleaveland
BT - ACM COMPUTING SURVEYS
LA - eng
PY - 2017
T2 - ACM COMPUTING SURVEYS
TI - A Menagerie of Timed Automata (vol 50, 42, 2017)
VL - 50
ER -