H.: HyTech: A model checker for hybrid systems (1997)

by T Henzinger, P H Ho, Wong-Toi
Venue:In: CAV’97, LNCS