Lopes de Souza W, Stiubiener S. Especificação, Verificação e Testes de Protocolos<br />DOI: 10.14209/jcis.1988.1. Journal of Communication and Information Systems [Internet]. 2015 Jun. 14 [cited 2024 Sep. 19];3(1). Available from: https://jcis.emnuvens.com.br/jcis/article/view/127