The Power of Reachability Testing for Timed Automata (2001)

by L. Aceto , P. Bouyer , A. Burgueño , K. G. Larsen
Venue:THEORETICAL COMPUTER SCIENCE
Citations:30 - 11 self