Temporal logics for phylogenetic analysis via model checking

  1. Requeno, J.I.
  2. Casado, G.D.M.
  3. Blanco, R.
  4. Colom, J.M.
Revista:
IEEE/ACM Transactions on Computational Biology and Bioinformatics

ISSN: 1545-5963

Año de publicación: 2013

Volumen: 10

Número: 4

Páginas: 1058-1070

Tipo: Artículo

DOI: 10.1109/TCBB.2013.87 GOOGLE SCHOLAR
Fuente de los datos: Scopus