Temporal logics for phylogenetic analysis via model checking

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

ISSN: 1545-5963

Year of publication: 2013

Volume: 10

Issue: 4

Pages: 1058-1070

Type: Article

DOI: 10.1109/TCBB.2013.87 GOOGLE SCHOLAR
Data source: Scopus