Split Phase Multi-channel MAC Protocols - Formal Specification and Analysis.

Abdelaziz El Fatni, Guy Juanole

Browse the full MASCOTS paper archive.