Pereira, Matheus, E 		Ventura, Daniel.
" Detecção de conflitos diretos em redes IoT utilizando o Maude" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (21 julho 2024)