Algorithmic analysis of nonlinear hybrid systems (1995)

by T A Henzinger, P H Ho, H Wong-Toi
Venue:Proceedings of the 7th International Conference On Computer Aided Verification, volume 939