The Theory of Hybrid Automata. (1996)

by T Henzinger
Venue:Lecture Notes in Computer Science