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

by E Allen Emerson, Chin-Laung Lei
Venue:In Proceedings of the 12th Annual ACM Symposium on Principles of Programming Languages, POPL’85