Fairness for Infinite-State Systems.

Byron Cook, Heidy Khlaaf, Nir Piterman

Browse the full TACAS paper archive.