Temporal logics for phylogenetic analysis via model checking

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

ISSN: 1545-5963

Argitalpen urtea: 2013

Alea: 10

Zenbakia: 4

Orrialdeak: 1058-1070

Mota: Artikulua

DOI: 10.1109/TCBB.2013.87 GOOGLE SCHOLAR
Datuen iturria: Scopus