BibTeX record journals/jib/RequenoC14

download as .bib file

@article{DBLP:journals/jib/RequenoC14,
  author    = {Jos{\'{e}} Ignacio Requeno and
               Jos{\'{e}} Manuel Colom},
  title     = {Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking:
               The Lactose Persistence Case Study},
  journal   = {J. Integrative Bioinformatics},
  volume    = {11},
  number    = {3},
  year      = {2014},
  url       = {https://doi.org/10.2390/biecoll-jib-2014-248},
  doi       = {10.2390/biecoll-jib-2014-248},
  timestamp = {Mon, 16 Sep 2019 14:49:17 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jib/RequenoC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics