Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Podelski, A. (1998). Set-Based Analysis of Reactive Infinite-state Systems. In B. Steffen (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98) (pp. 358-375). Berlin, Germany: Springer.