Zinah Hussein Toman. Formal Verification Approach for IoT Conflict Resolution by Priority. J. Al-Qadisiyah Comp. Sci. Math. [Internet]. 2026 Mar. 30 [cited 2026 Mar. 30];18(1):Comp 37-50. Available from: https://jqcsm.qu.edu.iq/index.php/journalcm/article/view/2640