Specification and Verification of Complex Location Events with Panoramic

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]

Abstract

Abstract is missing.