Hybrid Automata with Finite Bisimulations (1995)

by Thomas A. Henzinger
Citations:57 - 6 self