Paper

Large Scale Genetic Identity Inference Using Symbolic Model Checking

Rodrigo Gomes ; GOMES, R. R. ; COTA, C. F. ; SONG, Mark Alan Junho ; CAMPOS, Sergio Vale Aguiar . Large Scale Genetic Identity Inference Using Symbolic Model Checking. In: 5th CFV, 2008, Sydney. Proc. 5th International Workshop on Constraints in Formal Verification, 2008. p. 1-11.

2008

Created by Lattes PostCaptcha Importer at 2018-06-05 15:22:51.0.
Last updated by Lattes PostCaptcha Importer at 2018-06-05 15:35:11.0.
Simplified Graph of Associations
Quid