Academic
Publications
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract),E. Allen Emerson,Chin-laung Lei

Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)   (Citations: 112)
BibTex | RIS | RefWorks Download
Conference: Logic in Computer Science - LICS , pp. 267-278, 1986
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: