Pirmez, L., Pedroza, A. and Mesquita, A. (2015) “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, 12(1). Available at: https://jcis.sbrt.org.br/jcis/article/view/219 (Accessed: 3 July 2024).