Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader. Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 253-272, Springer, 2007. [doi]
Abstract is missing.