Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study

TitleAnalyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study
Publication TypeJournal Article
Year of Publication2014
AuthorsRequeno, JI, Colom JM
JournalJournal of Integrative Bioinformatics
Volume11
Issue3
Date Published11/2014
ISSN1613-4516
Export