BibTeX record journals/tcbb/VilallongaRARC21

• > Home > journals/tcbb/VilallongaRARC21

@article{DBLP:journals/tcbb/VilallongaRARC21,
  author       = {Gabriel Vilallonga and
                  Daniel Riesco and
                  Ant{\^{o}}nio{-}Carlos Guimar{\~{a}}es de Almeida and
                  Ant{\^{o}}nio M{\'{a}}rcio Rodrigues and
                  S{\'{e}}rgio Vale Aguiar Campos},
  title        = {In Silico Laboratory Experiments Using Statistical Model Checking:
                  {A} New Model of the Palytoxin-Induced Pump Channel as Case Study},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {18},
  number       = {6},
  pages        = {2816--2822},
  year         = {2021},
  url          = {https://doi.org/10.1109/TCBB.2020.3028776},
  doi          = {10.1109/TCBB.2020.3028776},
  timestamp    = {Mon, 03 Apr 2023 10:14:16 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/VilallongaRARC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}