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 |