Pirmez L, Pedroza A, Mesquita A. Síntese de Alto Nível de Protocolos de Comunicação Especificados na Linguagem Formal Estelle Usando o Ambiente Amical<br />DOI: 10.14209/jcis.1997.7. Journal of Communication and Information Systems [Internet]. 2015 Jun. 17 [cited 2024 Jul. 3];12(1). Available from: https://jcis.sbrt.org.br/jcis/article/view/219