Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study

  1. Requeno, J.I.
  2. Colom, J.M.
Revista:
Journal of integrative bioinformatics

ISSN: 1613-4516

Año de publicación: 2014

Volumen: 11

Número: 3

Páginas: 248

Tipo: Artículo

DOI: 10.2390/BIECOLL-JIB-2014-248 GOOGLE SCHOLAR
Fuente de los datos: Scopus