A Menagerie of Timed Automata (vol 50, 42, 2017)

Author
Year of Publication

2017
Journal

ACM COMPUTING SURVEYS
Volume

50
Download citation