Estudios
I+D+I
Institución
Internacional
Vida Universitaria
Atlantis Institut des Sciences Fictives
Recherche
Soumettre
Personnaliser
Vos alertes
Vos paniers
Vos recherches
Aide
EN
/
ES
Accueil
>
tesis
> Formal methods applied to the analysis of phylogenies
Informations
Statistiques d'utilisation
Fichiers
Formal methods applied to the analysis of phylogenies.pdf
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
-
Permalink:
Copy
Visitas y descargas
Retour à la recherche
Notice créée le 2014-11-20, modifiée le 2019-02-19
Fichiers:
PDF
Évaluer ce document:
Rate this document:
1
2
3
4
5
(Pas encore évalué)
Ajouter au panier personnel
Exporter vers
BibTeX
,
MARC
,
MARCXML
,
DC
,
EndNote
,
NLM
,
RefWorks