Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu

Browse the full TASE paper archive.