[ZWC+15] Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi and Yang Liu. Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. In Proc. International Symposium on Theoretical Aspects of Software Engineering (TASE'15), pages 55-62, IEEE. 2015. [Uses probabilistic model checking and PRISM to analyse 802.11p for vehicular ad-hoc networks.]
Links: [Google] [Google Scholar]