Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. In Imrich Chlamtac, editor, Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, InterSense 2006, Nice, France, May 30-31, 2006. Volume 138 of ACM International Conference Proceeding Series, pages 3, ACM, 2006. [doi]
Abstract is missing.