The Power of Reachability Testing for Timed Automata (2003)

by L Aceto, P Bouyer, A Burgueño, K G Larsen
Venue:Theor. Comput. Sci