\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:
