Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study
- Requeno, J.I.
- Colom, J.M.
ISSN: 1613-4516
Year of publication: 2014
Volume: 11
Issue: 3
Pages: 248
Type: Article
ISSN: 1613-4516
Year of publication: 2014
Volume: 11
Issue: 3
Pages: 248
Type: Article