The algorithmic analysis of hybrid systems,” Theoret (1995)

by R Alur, C Courcoubetis, N Halbwachs, T A Henzinger, P-H Ho, X Nicollin, A Oliviero, J Sifakis, S Yovine
Venue:Comput. Sci