Model Checking Under Generalized Fairness Constraints

• Authors:

• E. A Emerson;Chin L Lei

• Affiliations:

• -;-

• Venue:
• Model Checking Under Generalized Fairness Constraints
• Year:
• 1984