A formal model for programming wireless sensor networks

TitleA formal model for programming wireless sensor networks
Publication TypeJournal Article
Year of Publication2007
AuthorsLopes, L., F. Martins, M. S. Silva, and J. Barros
JournalarXiv preprint cs/0702042