Model-checking strategies for hybrid systems. Presented at the (1994)

by T A Henzinger, P-H Ho
Venue:Cornell University