# \emph{Don't know} in the $μ$-calculus

 Title \emph{Don't know} in the $μ$-calculus Publication Type Conference Paper Year of Publication 2005 Authors Grumberg, O, Lange, M, Leucker, M, Shoham, S Conference Name Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05) Series Lecture Notes in Computer Science Volume 3385 Publisher Springer
Bibtex:
@inproceedings {GrumbergLLS05,
title = {\emph{Don{\textquoteright}t know} in the $μ$-calculus},
booktitle = {Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI{\textquoteright}05)},
series = {Lecture Notes in Computer Science},
volume = {3385},
year = {2005},
publisher = {Springer},
organization = {Springer},
author = {Orna Grumberg and Martin Lange and Martin Leucker and Sharon Shoham}
}
Postscript: