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). Constraint Database Models Characterizing Timed Bisimilarity. In I. Ramakrishnan (Ed.), Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages (pp. 245-258). Berlin, Germany: Springer.