Publications » SIGSPATIALSpecial7

Formal Foundations of Sensor Network Applications

Jacob Beal, Mirko Viroli
SIGSPATIAL Special 7(2), pages 36--42, 7 pages, sep 2015, ACM, New York, NY, USA
@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},
 acmid = {2826693},
 publisher = {ACM},
 address = {New York, NY, USA},
}