Open computation tree logic with fairness.

Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti

Browse the full ISCAS paper archive.