Benevides, M., 		Fernandez, L., & 		de Oliveira, A.
(2017).
 Epistemic Logic Based on Dolev-Yao Model.
In <em>Anais do II Encontro de Teoria da Computação</em>, (pp. 13-16). Porto Alegre: SBC.
doi:10.5753/etc.2017.3180