Publications

Export 1 results:
Author [ Title(Asc)] Type Year
Filters: Author is Keiren, Jeroen J. A. and Keyword is timed transition systems  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Corrections to "A Menagerie of Timed Automata", Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM Comput. Surv., Volume 50, p.42:1–42:8, (2017)  (221.78 KB)