Temporal logics for phylogenetic analysis via model checking

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

ISSN: 1545-5963

Datum der Publikation: 2013

Ausgabe: 10

Nummer: 4

Seiten: 1058-1070

Art: Artikel

DOI: 10.1109/TCBB.2013.87 GOOGLE SCHOLAR
Datenquelle: Scopus