Hybrid Automata with Finite Bisimulations (1995)

by Thomas A. Henzinger
Citations:64 - 6 self