Specification and Verification of Complex Location Events with Panoramic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Evan Welbourne' in GoogleThis author has not been identified. Look up 'Magdalena Balazinska' in GoogleThis author has not been identified. Look up 'Gaetano Borriello' in GoogleThis author has not been identified. Look up 'James Fogarty' in Google

runs on WebDSL