Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (bibtex)

by José-Ignacio Requeno

Reference:

Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study (José-Ignacio Requeno), In Journal of Integrative Bioinformatics, volume 11, 2014.

Bibtex Entry:

@Article{Requeno2014,
  author   = {Jos{\'{e}}-Ignacio Requeno and Jos{\'{e}}-Manuel Colom},
  journal  = {Journal of Integrative Bioinformatics},
  title    = {Analyzing Phylogenetic Trees with Timed and Probabilistic {M}odel {C}hecking: {T}he Lactose Persistence Case Study},
  year     = {2014},
  number   = {3},
  pages    = {17--31},
  volume   = {11},
  doi      = {10.2390/biecoll-jib-2014-248},
  groups   = {silarri:6},
  keywords = {Model Checking, Phylogenetic Analysis, Bioinformatics},
  url      = {https://doi.org/10.2390/biecoll-jib-2014-248},
}