Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006.
Download paper:
Adobe portable document (pdf)
Copyright notice:
[ Modeling and validation of wireless sensor networks ]
@InProceedings{InterSense06,
Author = {Samper, Ludovic and Maraninchi, Florence and Mounier, Laurent and Mandel, Louis},
Title = {{G}LONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks},
BookTitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06)},
Address = {Nice, France},
Month = {May},
Year = {2006}
}
Get EndNote Reference (.ref)