DMCA

Benchmarks for Hybrid Systems Verification (2004)

by Ansgar Fehnker , Franjo Ivancic
Venue:In Hybrid Systems: Computation and Control (HSCC 2004) (2004
Citations:55 - 1 self