Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
She, Zhikun Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S., & She, Z. (2007). Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. ACM Transactions in Embedded Computing Systems, 6(1), 8.1-8.23. doi:10.1145/1210268.1210276.