Hytech: A model checker for hybrid systems (1997)

by T A Henzinger, P Ho, H Wong-toi
Venue:Software Tools for Technology Transfer