Evaluation of properties over phylogenetic trees using stochastic logics (bibtex)

by José-Ignacio Requeno

Reference:

Evaluation of properties over phylogenetic trees using stochastic logics (José-Ignacio Requeno), In BMC Bioinformatics, volume 17, 2016.

Bibtex Entry:

@Article{Requeno2016,
  author   = {Jos{\'{e}}-Ignacio Requeno and Jos{\'{e}}-Manuel Colom},
  journal  = {{BMC} Bioinformatics},
  title    = {Evaluation of properties over phylogenetic trees using stochastic logics},
  year     = {2016},
  pages    = {235},
  volume   = {17},
  doi      = {10.1186/s12859-016-1077-7},
  groups   = {silarri:6},
  keywords = {Model Checking, Phylogenetic Analysis, Bioinformatics},
  url      = {https://doi.org/10.1186/s12859-016-1077-7},
}