Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio V. A. Campos. A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. In Marcílio Carlos Pereira de Souto, Maricel G. Kann, editors, Advances in Bioinformatics and Computational Biology - 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings. Volume 7409 of Lecture Notes in Computer Science, pages 84-96, Springer, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.