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.