Sliced Model Checking for Phylogenetic Analysis

  1. Ignacio Requeno, Jose
  2. Blanco, Roberto
  3. de Miguel Casado, Gregorio
  4. Manuel Colom, Jose
Book Series:
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

Year of publication: 2012

Volume: 154

Pages: 95-103

Congress: 6th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB)

Type: Conference paper

GOOGLE SCHOLAR
Data source: WoS