DMCA

M.: Verification of hybrid systems based on counterexample-guided abstraction refinement. In: Technical Report. (2002) Downloadable from http://www.cs.cmu.edu (1999)

by Edmund Clarke , Ansgar Fehnker , Zhi Han , Bruce Krogh , Olaf Stursberg , Michael Theobald
Venue:In: HSCC. LNCS 1569
Citations:38 - 6 self