|
[BCFCC12]
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and SeĢrgio V. A. Campos.
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase.
In Proc. 7th Brazilian Symposium on Bioinformatics (BSB'12).
2012.
[Studies the effects of the palytoxin toxin in transmembrane ionic transport systems using various probabilistic model checking tools, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|