Faten Fakhfakh, Mohamed Tounsi 0001, Mohamed Mosbah. An Evaluative Review of the Formal Verification for VANET Protocols. In 15th International Wireless Communications & Mobile Computing Conference, IWCMC 2019, Tangier, Morocco, June 24-28, 2019. pages 1209-1214, IEEE, 2019. [doi]
Abstract is missing.