by José-Ignacio Requeno
Reference:
Speeding Up Phylogenetic Model Checking (José-Ignacio Requeno), Chapter in 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2013, 22-14 May, 2013, Salamanca, Spain (Mohd Saberi Mohamad, Loris Nanni, Miguel P. Rocha, Florentino Fdez-Riverola, eds.), Springer, volume 222, 2013.
Bibtex Entry:
@InCollection{Requeno2013b,
author = {Jos{\'{e}}-Ignacio Requeno and Jos{\'{e}}-Manuel Colom},
booktitle = {7th International Conference on Practical Applications of Computational Biology {\&} Bioinformatics, {PACBB} 2013, 22-14 May, 2013, Salamanca, Spain},
publisher = {Springer},
title = {Speeding Up Phylogenetic Model Checking},
year = {2013},
editor = {Mohd Saberi Mohamad and Loris Nanni and Miguel P. Rocha and Florentino Fdez{-}Riverola},
isbn = {978-3-319-00577-5},
pages = {119--126},
series = {Advances in Intelligent Systems and Computing},
volume = {222},
doi = {10.1007/978-3-319-00578-2\_16},
groups = {silarri:6},
keywords = {Model Checking, Phylogenetic Analysis, Bioinformatics},
url = {https://doi.org/10.1007/978-3-319-00578-2\_16},
}