BENEVIDES, Mario R. F.; FERNANDEZ, Luiz C. F.; DE OLIVEIRA, Anna C. C. M..
Epistemic Logic Based on Dolev-Yao Model. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 2. , 2017, São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2017
.
p. 13-16.
ISSN 2595-6116.
DOI: https://doi.org/10.5753/etc.2017.3180.