In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study

Gabriel Vilallonga, Daniel Riesco, Antônio-Carlos Guimarães de Almeida, Antônio Márcio Rodrigues, Sérgio V. A. Campos. In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study. IEEE/ACM Trans. Comput. Biology Bioinform., 18(6):2816-2822, 2021. [doi]

Abstract

Abstract is missing.