Christian Hoareau, Ichiro Satoh. From model checking to data management in pervasive computing: a location-based query-processing framework. In Julie A. McCann, Mario Lauria, Domenico Cotroneo, Mark A. Baker, editors, Proceedings of the 2009 international conference on Pervasive services, ICPS '09, London, United Kingdom, July 13-17, 2009. pages 41-48, ACM, 2009. [doi]
@inproceedings{HoareauS09-0,
title = {From model checking to data management in pervasive computing: a location-based query-processing framework},
author = {Christian Hoareau and Ichiro Satoh},
year = {2009},
doi = {10.1145/1568199.1568206},
url = {http://doi.acm.org/10.1145/1568199.1568206},
researchr = {https://researchr.org/publication/HoareauS09-0},
cites = {0},
citedby = {0},
pages = {41-48},
booktitle = {Proceedings of the 2009 international conference on Pervasive services, ICPS '09, London, United Kingdom, July 13-17, 2009},
editor = {Julie A. McCann and Mario Lauria and Domenico Cotroneo and Mark A. Baker},
publisher = {ACM},
isbn = {978-1-60558-644-1},
}