@InProceedings{OGS10,
author={P. Oliveira and R. Gomes and M. Song},
title={Large Scale Genetic Identity Inference Using Probabilistic Model Checking},
booktitle={2010 IEEE International Conference on Systems Man and Cybernetics (SMC'10)},
year={2010},

editor={},
pages={3508--3512},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}