Don't Know in Probabilistic Systems

@inproceedings{pub16905,
    author = {

Fecher, Harald
 and 

Leucker, Martin
 and 

Wolf, Verena
},
    editor = {

Valmari, Antti
},
    title = {Don't Know in Probabilistic Systems},
    booktitle = {Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30-April 1, Vienna, Austria
},
    edition = {1st},
    year = {2006},
    month = {3},
    pages = {71--88},
    publisher = {Springer Berlin Heidelberg},
    isbn = {9783540331032}
}