Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio V. A. Campos. A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. In João C. Setubal, Nalvo F. Almeida, editors, Advances in Bioinformatics and Computational Biology - 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings. Volume 8213 of Lecture Notes in Computer Science, pages 181-193, Springer, 2013. [doi]
Abstract is missing.