Robert Abo, Kamel Barkaoui, Karim Djouani. Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. In 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy. pages 189-198, IEEE Computer Society, 2010. [doi]
Abstract is missing.