Formal Foundations of Sensor Network Applications

@article{BV-SPATIAL2015,
author = {Beal, Jacob and Viroli, Mirko},
title = {Formal Foundations of Sensor Network Applications},
journal = {SIGSPATIAL Special},
issue_date = {July 2015},
volume = {7},
number = {2},
month = sep,
year = {2015},
issn = {1946-7729},
pages = {36--42},
numpages = {7},
url = {http://doi.acm.org/10.1145/2826686.2826693},
doi = {10.1145/2826686.2826693},
acm = {2826693},
publisher = {ACM},
address = {New York, NY, USA},
}