Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase.
Fernando A. F. BrazJader S. CruzAlessandra C. Faria-CamposSérgio Vale Aguiar CamposPublished in: IEEE ACM Trans. Comput. Biol. Bioinform. (2013)