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
Año de publicación: 2012
Volumen: 154
Páginas: 95-103
Congreso: 6th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB)
Tipo: Aportación congreso