Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali. IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. In International Conference on Frontiers of Information Technology, FIT 2021, Islamabad, Pakistan, December 13-14, 2021. pages 164-169, IEEE, 2021. [doi]
Abstract is missing.