Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Wagner, Silke Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Wagner, S. (2007). A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. In A. Bemporad, A. Bicchi, & G. C. Buttazzo (Eds.), Hybrid systems: computation and control : 10th International Conference, HSCC 2007 (pp. 750-753). Berlin, Germany: Springer.