\emph{Don't know} in probabilistic systems

Title\emph{Don't know} in probabilistic systems
Publication TypeConference Paper
Year of Publication2006
AuthorsFecher, H, Leucker, M, Wolf, V
EditorValmari, A
Conference Name13th International SPIN Workshop on Model Checking of Software {(SPIN'06)}
SeriesLecture Notes in Computer Science
Volume3925
PublisherSpringer
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}
}
Postscript: