Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is transition systems and Author is Keiren, Jeroen J. A.  [Clear All Filters]
2017
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)