![](/img/cover-not-exists.png)
In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study
Vilallonga, Gabriel Domingo, Riesco, Daniel Edgardo, Almeida, Antonio-Carlos Guimaraes, Rodrigues, Antonio Marcio, Campos, Sergio V. A.Year:
2020
Journal:
IEEE/ACM Transactions on Computational Biology and Bioinformatics
DOI:
10.1109/TCBB.2020.3028776
File:
PDF, 1.66 MB
2020