Sliced Model Checking for Phylogenetic Analysis
- Ignacio Requeno, Jose
- Blanco, Roberto
- de Miguel Casado, Gregorio
- Manuel Colom, Jose
- Rocha, MP (coord.)
- Luscombe, N (coord.)
- FdezRiverola, F (coord.)
- Rodriguez, JMC (coord.)
ISSN: 1867-5662
ISBN: 978-3-642-28838-8
Any de publicació: 2012
Volum: 154
Pàgines: 95-103
Congrés: 6th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB)
Tipus: Aportació congrés