\emph{Don't know} in probabilistic systems
| Title | \emph{Don't know} in probabilistic systems |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Fecher, H, Leucker, M, Wolf, V |
| Editor | Valmari, A |
| Conference Name | 13th International SPIN Workshop on Model Checking of Software {(SPIN'06)} |
| Series | Lecture Notes in Computer Science |
| Volume | 3925 |
| Publisher | Springer |
Bibtex:
@inproceedings {LeuckerFW06,
title = {\emph{Don{\textquoteright}t know} in probabilistic systems},
booktitle = {13th International SPIN Workshop on Model Checking of Software {(SPIN{\textquoteright}06)}},
series = {Lecture Notes in Computer Science},
volume = {3925},
year = {2006},
publisher = {Springer},
organization = {Springer},
author = {Harald Fecher and Martin Leucker and Verena Wolf},
editor = {Antti Valmari}
}PDF:
Postscript:
