@article{44,
  keywords = {Timed automata, timed transition systems, transition systems},
  author = {Jeroen Keiren and Peter Fontana and Rance Cleaveland},
  title = {Corrections to "A Menagerie of Timed Automata"},
  year = {2017},
  journal = {ACM Comput. Surv.},
  volume = {50},
  pages = {42:1–42:8},
  issn = {0360-0300},
  url = {http://doi.acm.org/10.1145/3078809},
  doi = {10.1145/3078809},
  language = {eng},
}