Sliced model checking for phylogenetic analysis

  1. Requeno, J.I.
  2. Blanco, R.
  3. De Miguel Casado, G.
  4. Colom, J.M.
Colección de libros:
Advances in Intelligent and Soft Computing

ISSN: 1867-5662

ISBN: 9783642288388

Año de publicación: 2012

Volumen: 154 AISC

Páginas: 95-103

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-28839-5_11 GOOGLE SCHOLAR