publicações Um sistema tutor multi-agentes no domínio da lógica / Documento Uma Ferramenta para Especificação de Protocolos dentro do Contexto Estelle: Um Tradutor ASN.1 / Estelle Documento