Temporal Logics for Phylogenetic Analysis via Model Checking (bibtex)

by José-Ignacio Requeno, Gregorio de Miguel Casado and Roberto Blanco

Reference:

Temporal Logics for Phylogenetic Analysis via Model Checking (José-Ignacio Requeno, Gregorio de Miguel Casado and Roberto Blanco), In IEEE/ACM Transactions on Computational Biology and Bioinformatics, volume 10, 2013.

Bibtex Entry:

@Article{Requeno2013a,
  author   = {Jos{\'{e}}-Ignacio Requeno and Gregorio de Miguel Casado and Roberto Blanco and Jos{\'{e}}-Manuel Colom},
  journal  = {{IEEE/ACM} Transactions on Computational Biology and Bioinformatics},
  title    = {Temporal Logics for Phylogenetic Analysis via Model Checking},
  year     = {2013},
  number   = {4},
  pages    = {1058--1070},
  volume   = {10},
  doi      = {10.1109/TCBB.2013.87},
  groups   = {silarri:6},
  keywords = {Model Checking, Phylogenetic Analysis, Bioinformatics},
  url      = {https://doi.org/10.1109/TCBB.2013.87},
}