E. Allen Emerson. Model Checking and the Mu-calculus. In Neil Immerman, Phokion G. Kolaitis, editors, Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University. Volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 185-214, American Mathematical Society, 1996.
@inproceedings{Emerson96,
title = {Model Checking and the Mu-calculus},
author = {E. Allen Emerson},
year = {1996},
tags = {model checking, meta-model, e-science, Meta-Environment},
researchr = {https://researchr.org/publication/Emerson96},
cites = {0},
citedby = {0},
pages = {185-214},
booktitle = {Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University},
editor = {Neil Immerman and Phokion G. Kolaitis},
volume = {31},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {American Mathematical Society},
isbn = {0-8218-0517-7},
}