ZINAH HUSSEIN TOMAN. Formal Verification Approach for IoT Conflict Resolution by Priority. Journal of Al-Qadisiyah for Computer Science and Mathematics, [S. l.], v. 18, n. 1, p. Comp 37–50, 2026. DOI: 10.29304/jqcsm.2026.18.12640. Disponível em: https://jqcsm.qu.edu.iq/index.php/journalcm/article/view/2640. Acesso em: 30 mar. 2026.