The algorithmic analysis of hybrid systems (1995)

by R. Alur , C. Courcoubetis , N. Halbwachs , T. A. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , S. Yovine
Venue:THEORETICAL COMPUTER SCIENCE
Citations:596 - 69 self