In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.
Gabriel VilallongaDaniel RiescoAntônio-Carlos Guimarães de AlmeidaAntônio Márcio RodriguesSérgio Vale Aguiar CamposPublished in: IEEE ACM Trans. Comput. Biol. Bioinform. (2021)