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
« Concept of quantified abstract quotient automaton and its advantage, pp.223-238, 1997. ,
« Comparison of Multi-channel MAC Protocols, IEEE Transactions On Mobile Computing, vol.7, issue.1, pp.50-65, 2008. ,
« A New Multi-Channel MAC Protocol with On- Demand Channel Assignment for Multi-Hop Mobile Ad Hoc, pp.232-237, 2000. ,