www.prismmodelchecker.org
[BP05] M. Bhargava and C. Palamidessi. Probabilistic Anonymity. In Proc. 16th International Conference on Concurrency Theory (CONCUR'05). August 2005. [bib] http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications