Abdelaziz El Fatni, Guy Juanole, Thierry Val. Formal modelling and verification of the common hopping multi-channel MAC protocols. In Violet R. Syrotiuk, Fatih Alagöz, Brahim Bensaou, Özgür B. Akan, editors, Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010. pages 311-318, ACM, 2010. [doi]
@inproceedings{FatniJV10,
title = {Formal modelling and verification of the common hopping multi-channel MAC protocols},
author = {Abdelaziz El Fatni and Guy Juanole and Thierry Val},
year = {2010},
doi = {10.1145/1868521.1868572},
url = {http://doi.acm.org/10.1145/1868521.1868572},
tags = {protocol},
researchr = {https://researchr.org/publication/FatniJV10},
cites = {0},
citedby = {0},
pages = {311-318},
booktitle = {Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum, Turkey, October 17-21, 2010},
editor = {Violet R. Syrotiuk and Fatih Alagöz and Brahim Bensaou and Özgür B. Akan},
publisher = {ACM},
isbn = {978-1-4503-0274-6},
}