Verifying Safety Properties of Differential Equations (1996)

by Mark R Greenstreet
Venue:In: CAV, LNCS 1102