Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu. Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 55-62, IEEE Computer Society, 2015. [doi]
Abstract is missing.