@article{DmuCEC,
	Author = {S. Kramer and C. Palamidessi and R. Segala and A. Turrini and Ch. Braun},
	Journal = {Journal of Applied Non-Classical Logic},
	Title = {A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding},
	Volume = {19},
	Number = {4},
	Year = {2009}}