1
Outros Autores:
“...Gomes, Rodrigo Richard...”
Verificação probabilística de modelos para inferência de identidade genética
Tese
2
Outros Autores:
“...Gomes, Rodrigo Richard...”
Inferência de identidade genética em larga escala : uma abordagem baseada em verificação simbólica de modelos
Tese