Efficient Model Checking in Fragments of the Propositional Mu-Calculus
Resource
IEEE Symposium on Logic in Computer Science, pp. 267-278
Journal
IEEE Symposium on Logic in Computer Science
Pages
267-278
Date Issued
1986
Date
1986
Author(s)
Emerson, E. A.
Lei, C. L.
Publisher
IEEE Computer Society Press
Type
conference paper