Modalities for Model Checking: Branching Time Strikes Back.

E. Allen Emerson, Chin-Laung Lei

Browse the full POPL paper archive.