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]