Braz, F. A. F. (2013). Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems.
Referência de acordo com a norma ChicagoBraz, Fernando Augusto Fernandes. Verificação Probabilística De Modelos Para Modelagem E Análise De Interações De Toxinas Com Sistemas De Transporte Transmembrânico De íons = Probabilistic Model Checking for Modeling and Analysis of Toxins Interactions With Transmembrane Ionic Transport Systems. 2013.
Referência de acordo com a norma MLABraz, Fernando Augusto Fernandes. Verificação Probabilística De Modelos Para Modelagem E Análise De Interações De Toxinas Com Sistemas De Transporte Transmembrânico De íons = Probabilistic Model Checking for Modeling and Analysis of Toxins Interactions With Transmembrane Ionic Transport Systems. 2013.