Evan Welbourne, Magdalena Balazinska, Gaetano Borriello, James Fogarty. Specification and Verification of Complex Location Events with Panoramic. In Patrik Floréen, Antonio Krüger, Mirjana Spasojevic, editors, Pervasive Computing, 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings. Volume 6030 of Lecture Notes in Computer Science, pages 57-75, Springer, 2010. [doi]
@inproceedings{WelbourneBBF10,
title = {Specification and Verification of Complex Location Events with Panoramic},
author = {Evan Welbourne and Magdalena Balazinska and Gaetano Borriello and James Fogarty},
year = {2010},
doi = {10.1007/978-3-642-12654-3_4},
url = {http://dx.doi.org/10.1007/978-3-642-12654-3_4},
researchr = {https://researchr.org/publication/WelbourneBBF10},
cites = {0},
citedby = {0},
pages = {57-75},
booktitle = {Pervasive Computing, 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings},
editor = {Patrik Floréen and Antonio Krüger and Mirjana Spasojevic},
volume = {6030},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12653-6},
}