DMCA

Safety verification of hybrid systems by constraint propagation based abstraction refinement (2005)

by Stefan Ratschan , Zhikun She
Citations:74 - 11 self