The algorithmic analysis of hybrid systems (1995)

by R Alur
Venue:Theor. Comput. Sci