Formal Foundations of Sensor Network Applications

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