Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
ACM Transactions in Embedded Computing Systems 1539-9087 | 2007 | Ratschan, Stefan She, Zhikun | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: ACM Transactions in Embedded Computing Systems [6], 1-23 | |||||
| ||||||||
| ||||||||
|