@inproceedings{SMM+06a,
title = {GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks },
author = {Samper, Ludovic and Maraninchi, Florence and Mounier, Laurent and Mandel, Louis},
month = {may},
year = {2006},
booktitle = {InterSense: First International Conference on Integrated Internet Ad hoc and Sensor Networks},
address = {Nice, France},
publisher = {IEEE},
team = {SYNC,DCS,PACSS},
}
