Specification and Verification of Complex Location Events
Submitted by boren on Tue, 2011-12-13 10:14
| Title | Specification and Verification of Complex Location Events |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Welbourne E, Balazinska M, Borriello G, Fogarty J |
| Conference Name | Pervasive |
| Citation Key | 2953 |
Last changed Tue, 2011-12-13 10:14

cs.