Mukhopadhyay, Supratik Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Mukhopadhyay, S., & Podelski, A. (2000). Model Checking for Timed Logic Processes. In J. W. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, et al. (Eds.), Proceedings of the 1st International Conference on Computational Logic (pp. 598-612). Berlin, Germany: Springer.