Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems.

Amir Pnueli, Andreas Podelski, Andrey Rybalchenko

Browse the full TACAS paper archive.