Temporal model checking under generalized fairness constraints (1985)

by E A Emerson, C-L Lei
Venue:In Hawaii Int. Conf. on System Sciences. Western Periodicals Company