The theory of hybrid automata (1996)

by T A Henzinger
Venue:in Proc. 11th Annu. IEEE Symp. Logic Comput. Sci