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

Title\emph{Don't know} in the $μ$-calculus
Publication TypeConference Paper
Year of Publication2005
AuthorsGrumberg, O, Lange, M, Leucker, M, Shoham, S
Conference NameProceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05)
SeriesLecture Notes in Computer Science
Volume3385
PublisherSpringer
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: