A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex.
Fernando A. F. BrazJoão AmaralBruno FerreiraJader S. CruzAlessandra C. Faria-CamposSérgio Vale Aguiar CamposPublished in: BSB (2013)