APA (7th ed.) Citation

Rashid, M., Qadeer, M., Raza, H., Shabbir, I., Rasool, I., & Zafar, N. A. (2024, January 8). Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker. 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC), 1-6. https://doi.org/10.1109/KHI-HTC60760.2024.10481884

Chicago Style (17th ed.) Citation

Rashid, Muhammad, Muhammad Qadeer, Husnain Raza, Ifra Shabbir, Imran Rasool, and Nazir Ahmad Zafar. "Formal Modeling and Verification of IoT-based Smart Transport System Using SPIN Model Checker." 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) 8 Jan. 2024: 1-6. https://doi.org/10.1109/KHI-HTC60760.2024.10481884.

MLA (9th ed.) Citation

Rashid, Muhammad, et al. "Formal Modeling and Verification of IoT-based Smart Transport System Using SPIN Model Checker." 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC), 8 Jan. 2024, pp. 1-6, https://doi.org/10.1109/KHI-HTC60760.2024.10481884.