Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study
| Title | Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Requeno, JI, Colom JM |
| Journal | Journal of Integrative Bioinformatics |
| Volume | 11 |
| Issue | 3 |
| Date Published | 11/2014 |
| ISSN | 1613-4516 |
| Export |
