Speeding Up Phylogenetic Model Checking

  1. Requeno, J.I.
  2. Colom, J.M.
Colección de libros:
Advances in Intelligent Systems and Computing

ISSN: 2194-5357

ISBN: 9783319005775

Año de publicación: 2013

Volumen: 222

Páginas: 119-126

Tipo: Artículo

DOI: 10.1007/978-3-319-00578-2_16 GOOGLE SCHOLAR