%0 Conference Paper %1 conf/tase/ZhouWCSL15 %A Zhou, Conghua %A Wang, Yong %A Cao, Meiling %A Shi, Jianqi %A Liu, Yang %B TASE %D 2015 %I IEEE Computer Society %K dblp %P 55-62 %T Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/tase/tase2015.html#ZhouWCSL15 %@ 978-1-4673-7612-9

@inproceedings{conf/tase/ZhouWCSL15, added-at = {2023-08-04T00:00:00.000+0200}, author = {Zhou, Conghua and Wang, Yong and Cao, Meiling and Shi, Jianqi and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2710510d8ab59b670faaf9681f0c29ec0/dblp}, booktitle = {TASE}, crossref = {conf/tase/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2015.22}, interhash = {37daef9304167f9fdeeac9dbd7fa6b58}, intrahash = {710510d8ab59b670faaf9681f0c29ec0}, isbn = {978-1-4673-7612-9}, keywords = {dblp}, pages = {55-62}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:20:09.000+0200}, title = {Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2015.html#ZhouWCSL15}, year = 2015 }