Sliced Model Checking for Phylogenetic Analysis

  1. Ignacio Requeno, Jose
  2. Blanco, Roberto
  3. de Miguel Casado, Gregorio
  4. Manuel Colom, Jose
Colección de libros:
6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS
  1. Rocha, MP (coord.)
  2. Luscombe, N (coord.)
  3. FdezRiverola, F (coord.)
  4. 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