S. Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Journal of Applied Non-Classical Logics, 19(4):489-516, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.