The theory of hybrid automata (1996)

by T A Henzinger
Venue:in: Proceedings of the 11th Symposium on Logic in Computer Science (LICS ’96), IEEE Computer Society