HYTECH: A Model Checker for Hybrid Systems (1997)

by T A Henzinger, P-H Ho, H Wong-Toi
Venue:In Computer Aided Verification, 9th International Conference, CAV ’97