E. A. Fatni, J. G. , and V. T. , Formal modelling and verification of the common hopping multi-channel MAC protocols, Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWIM '10, pp.311-318, 2010.
DOI : 10.1145/1868521.1868572

J. G. Gallon-l, « Concept of quantified abstract quotient automaton and its advantage, pp.223-238, 1997.

M. J. So-h-s and W. J. , « Comparison of Multi-channel MAC Protocols, IEEE Transactions On Mobile Computing, vol.7, issue.1, pp.50-65, 2008.

W. Lin-c-y, . Tseng-y-c, and . Sheu-j-p, « A New Multi-Channel MAC Protocol with On- Demand Channel Assignment for Multi-Hop Mobile Ad Hoc, pp.232-237, 2000.