Hybrid Automata with Finite Bisimulations (1995)

by Thomas A. Henzinger
Citations:63 - 6 self