Paper: Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) (at LICS 1986)
Authors: E. Allen Emerson Chin-Laung LeiAbstract
No Abstract Available
BibTeX
@InProceedings{EmersonLei-EfficientModelCheck, author = {E. Allen Emerson and Chin-Laung Lei}, title = {Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {267--278}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }