Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
She, Zhikun Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S., & She, Z. (2005). Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. In Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005 (pp. 573-589). Berlin, Germany: Springer.