Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study
- Requeno, J.I.
- Colom, J.M.
ISSN: 1613-4516
Datum der Publikation: 2014
Ausgabe: 11
Nummer: 3
Seiten: 248
Art: Artikel
ISSN: 1613-4516
Datum der Publikation: 2014
Ausgabe: 11
Nummer: 3
Seiten: 248
Art: Artikel