by José-Ignacio Requeno
Reference:
Model checking software for phylogenetic trees using distribution and database methods (José-Ignacio Requeno), In Journal of Integrative Bioinformatics, volume 10, 2013.
Bibtex Entry:
@Article{Requeno2013,
author = {Jos{\'{e}}-Ignacio Requeno and Jos{\'{e}}-Manuel Colom},
journal = {Journal of Integrative Bioinformatics},
title = {Model checking software for phylogenetic trees using distribution and database methods},
year = {2013},
number = {3},
pages = {16--30},
volume = {10},
doi = {10.2390/biecoll-jib-2013-229},
groups = {silarri:6},
keywords = {Model Checking, Phylogenetic Analysis, Bioinformatics},
url = {https://doi.org/10.2390/biecoll-jib-2013-229},
}