DMCA

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

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