External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Gabriel Vilallonga

This author has not been identified. Look up 'Gabriel Vilallonga' in Google

Daniel Riesco

This author has not been identified. Look up 'Daniel Riesco' in Google

Antônio-Carlos Guimarães de Almeida

This author has not been identified. Look up 'Antônio-Carlos Guimarães de Almeida' in Google

Antônio Márcio Rodrigues

This author has not been identified. Look up 'Antônio Márcio Rodrigues' in Google

Sérgio V. A. Campos

This author has not been identified. Look up 'Sérgio V. A. Campos' in Google
runs on