Safety verification of hybrid systems by constraint propagation-based abstraction refinement
Ratschan, Stefan, She, ZhikunVolume:
6
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/1210268.1210276
Date:
February, 2007
File:
PDF, 201 KB
english, 2007