The Algorithmic Analysis of Hybrid Systems, Theo (1995)

by A Alur, C Courcoubetis, N Halbwachs, T A Henzinger, P-H Ho, X Nicollin, A Olivero, J Sifakis, S Yovine
Venue:Computer Sci