Formal modelling and verification of the common hopping multi-channel MAC protocols.

Abdelaziz El Fatni, Guy Juanole, Thierry Val

Browse the full MSWIM paper archive.