Branching time temporal logic (1983)

by E Emerson, J Srinivasan
Venue:In LNCS