Pereira, M., & 		Ventura, D.
2024 jul 21.  Detecção de conflitos diretos em redes IoT utilizando o Maude. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :