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