The limit of testing for timed automata (2003)

by L Aceto, P Bouyer, A Burgueo, K G Larsen
Venue:Theoretical Computer Science (TCS