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]
@inproceedings{ZhouWCSL15,
title = {Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking},
author = {Conghua Zhou and Yong Wang and Meiling Cao and Jianqi Shi and Yang Liu},
year = {2015},
doi = {10.1109/TASE.2015.22},
url = {http://dx.doi.org/10.1109/TASE.2015.22},
researchr = {https://researchr.org/publication/ZhouWCSL15},
cites = {0},
citedby = {0},
pages = {55-62},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-7612-9},
}