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

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

ISSN: 1613-4516

Year of publication: 2014

Volume: 11

Issue: 3

Pages: 248

Type: Article

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