Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
She, Zhikun Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S., & She, Z. (2006). Constraints for Continuous Reachability in the Verification of Hybrid Systems. In Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006 (pp. 196-210). Berlin, Germany: Springer.