Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar. Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. In International Conference on Frontiers of Information Technology, FIT 2023, Islamabad, Pakistan, December 11-12, 2023. pages 262-267, IEEE, 2023. [doi]
Abstract is missing.