Options
Modalities For Model Checking: Branching Time Strikes Back
Resource
12th Annual Symposium on Principles of Programming Languages, pp. 277-288
Resource
12th Annual Symposium on Principles of Programming Languages
Pages
277-288
Issue Date
1985
Author(s)
Emerson, E. A.
Lei, C. L.