www.prismmodelchecker.org
[OGS10] P. Oliveira, R. Gomes and M. Song. Large Scale Genetic Identity Inference Using Probabilistic Model Checking. In 2010 IEEE International Conference on Systems Man and Cybernetics (SMC'10), pages 3508-3512, IEEE. 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications