Corrections to "A Menagerie of Timed Automata"
| Author | |
| Year of Publication | 2017 |
| Journal | ACM Comput. Surv. |
| Volume | 50 |
| Number of Pages | 42:1–42:8 |
| ISSN Number | 0360-0300 |
| URL | http://doi.acm.org/10.1145/3078809 |
| DOI | 10.1145/3078809 |
| Download citation |