Mukhopadhyay, Supratik Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Mukhopadhyay, S., & Podelski, A. (2001). Accurate Widenings and Boundedness Properties of Timed Systems. In A., Zamulin, M., Broy, & D., Bjorner (Eds.), Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference (pp. 79-94). Berlin, Germany: Springer.