@inproceedings{wtf, author = {Claiton Correa and Fernando Dotti and Paulo Fernandes and Eli Maruani and Lucas Oleksinski and Afonso Sales}, title = { Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos}, booktitle = {Anais do XIII Workshop de Testes e Tolerância a Falhas}, location = {Ouro Preto/MG}, year = {2012}, keywords = {}, issn = {2595-2684}, pages = {115--128}, publisher = {SBC}, address = {Porto Alegre, RS, Brasil}, doi = {10.5753/wtf.2012.23084}, url = {https://sol.sbc.org.br/index.php/wtf/article/view/23084} }