Formal methods applied to the analysis of phylogenies: Phylogenetic model checking

Requeno Jarabo, José Ignacio
Colom Piazuelo, José Manuel (dir.)

Universidad de Zaragoza, 2014

Pal. clave: sistemas formales ; lógica formal ; biología de poblaciones ; informática

Knowledge area: Lenguajes y sistemas informáticos

Department: Informática e Ingeniería de Sistemas

Nota: Presentado: 27 06 2014
Nota: Tesis-Univ. Zaragoza, Informática e Ingeniería de Sistemas, 2014


-



Creative Commons License



Visitas y descargas



 Notice créée le 2014-11-20, modifiée le 2019-02-19


Fichiers:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)