Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.

Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader

Browse the full IFM paper archive.