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). Region Stability Proofs for Hybrid Systems. In J.-F. Raskin, & P. Thiagarajan (Eds.), Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007 (pp. 320-335). Berlin, Germany: Springer.