%0 Conference Paper %1 conf/wob/BrazAFCFC13 %A Braz, Fernando A. F. %A Amaral, João %A Ferreira, Bruno %A Cruz, Jader S. %A Faria-Campos, Alessandra C. %A Campos, Sérgio Vale Aguiar %B BSB %D 2013 %E Setubal, João C. %E Almeida, Nalvo F. %I Springer %K dblp %P 181-193 %T A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. %U http://dblp.uni-trier.de/db/conf/wob/bsb2013.html#BrazAFCFC13 %V 8213 %@ 978-3-319-02623-7

@inproceedings{conf/wob/BrazAFCFC13, added-at = {2022-01-23T00:00:00.000+0100}, author = {Braz, Fernando A. F. and Amaral, João and Ferreira, Bruno and Cruz, Jader S. and Faria-Campos, Alessandra C. and Campos, Sérgio Vale Aguiar}, biburl = {https://www.bibsonomy.org/bibtex/213e1d4ec44aae48eb2fd1aead9b49d5b/dblp}, booktitle = {BSB}, crossref = {conf/wob/2013}, editor = {Setubal, João C. and Almeida, Nalvo F.}, ee = {https://doi.org/10.1007/978-3-319-02624-4_17}, interhash = {a85e521ef99bdc8c6df5861a14347915}, intrahash = {13e1d4ec44aae48eb2fd1aead9b49d5b}, isbn = {978-3-319-02623-7}, keywords = {dblp}, pages = {181-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:50:49.000+0200}, title = {A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex.}, url = {http://dblp.uni-trier.de/db/conf/wob/bsb2013.html#BrazAFCFC13}, volume = 8213, year = 2013 }