The power of reachability testing for timed automata (2003)

by L Aceto, P Bouyer, A Burgueño, K Larsen
Venue:Theoretical Computer Science