@ARTICLE{Ratschan2007,
AUTHOR = {Ratschan, Stefan and She, Zhikun},
TITLE = {Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement},
JOURNAL = {ACM Transactions in Embedded Computing Systems},
PUBLISHER = {ACM},
YEAR = {2007},
NUMBER = {1},
VOLUME = {6},
PAGES = {1--23},
ADDRESS = {New York, NY, USA},
ISBN = {1539-9087},
DOI = {10.1145/1210268.1210276},
}
Entry last modified by Uwe Brahm, 01/28/2008
Edit History (please click the blue arrow to see the details)
| Editor(s)
Stefan Ratschan | Created
05/24/2006 02:22:55 PM |
Revisions
7.
6.
5.
4.
3. | Editor(s)
Uwe Brahm
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm | Edit Dates
2007-07-02 10:41:04
29.06.2007 18:10:44
29.06.2007 18:02:50
04/15/2007 11:39:21 AM
04/15/2007 11:37:20 AM |