Title | A Menagerie of Timed Automata (vol 50, 42, 2017) |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance |
Journal | ACM COMPUTING SURVEYS |
Volume | 50 |
Title | A Menagerie of Timed Automata (vol 50, 42, 2017) |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance |
Journal | ACM COMPUTING SURVEYS |
Volume | 50 |