Pedro Felipe A. Oliveira, Rodrigo R. Gomes, Mark Alan Junho Song. Large scale genetic identity inference using probabilistic model checking. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010. pages 3508-3512, IEEE, 2010. [doi]
Abstract is missing.