The Theory of Hybrid Automata (1996)

by T A Henzinger
Venue:In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science. Invited Tutorial, LICS ’96