|
[BCFCC13]
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and SeĢrgio V. A. Campos.
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(6), pages 1530-1541.
2013.
[Analyses palytoxin toxin interactions within cell transport systems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|