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

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

ISSN: 1613-4516

Datum der Publikation: 2014

Ausgabe: 11

Nummer: 3

Seiten: 248

Art: Artikel

DOI: 10.2390/BIECOLL-JIB-2014-248 GOOGLE SCHOLAR