Hybrid automata with nite bisimulations (1995)

by T A Henzinger
Venue:ICALP 95: Automata, Languages, and Programming