| Title | Corrections to "A Menagerie of Timed Automata" |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance |
| Journal | ACM Comput. Surv. |
| Volume | 50 |
| Pagination | 42:1–42:8 |
| ISSN | 0360-0300 |
| Keywords | Timed automata, timed transition systems, transition systems |
| URL | http://doi.acm.org/10.1145/3078809 |
| DOI | 10.1145/3078809 |
