Fairness and related properties in transition systems ? a temporal logic to deal with fairness

Publisher Website
Google Scholar
Abstract
No abstract available