Speeding Up Phylogenetic Model Checking

  1. Requeno, J.I.
  2. Colom, J.M.
Col·lecció de llibres:
Advances in Intelligent Systems and Computing

ISSN: 2194-5357

ISBN: 9783319005775

Any de publicació: 2013

Volum: 222

Pàgines: 119-126

Tipus: Article

DOI: 10.1007/978-3-319-00578-2_16 GOOGLE SCHOLAR
Font de les dades: Scopus