Verification using simulation (2006)

by Antoine Girard
Venue:In: Hybrid Systems: Computation and Control (HSCC). Volume 3927 of LNCS., Springer (2006) 272 – 286