Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Wagner, Silke Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., & Wagner, S. (2006). Model Checking of Hybrid Systems: From Reachability towards Stability. In Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006 (pp. 507-521). Berlin, Germany: Springer.