Modalities for Model Checking: Branching Time Strikes Back (1985)

by E A Emerson, C-L Lei
Venue:In POPL