Zinah Hussein Toman. (2026). Formal Verification Approach for IoT Conflict Resolution by Priority. Journal of Al-Qadisiyah for Computer Science and Mathematics, 18(1), Comp 37–50. https://doi.org/10.29304/jqcsm.2026.18.12640