Matheus Pereira and Daniel Ventura. 2024.
 Detecção de conflitos diretos em redes IoT utilizando o Maude. In <em>Anais do V Workshop Brasileiro de Lógica</em>, julho 21, 2024, Brasília/DF, Brasil. SBC, Porto Alegre, Brasil, 17-26. DOI: <a href="https://doi.org/10.5753/wbl.2024.2556">https://doi.org/10.5753/wbl.2024.2556</a>.