Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Rybalchenko, Andrey Programming Logics, MPI for Informatics, Max Planck Society;
Pnueli, A., Podelski, A., & Rybalchenko, A. (2005). Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. In Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 (pp. 124-139). Berlin, Germany: Springer.