The theory of hybrid automata. In: (1996)

by T Henzinger
Venue:Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS