Pereira, M., & 		Ventura, D.
2024 Jul 21.  Detection of Direct Conflicts in IoT Networks Using Maude. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :