A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments

Cite this paper

@inproceedings{Hoareau2007AMC, title={A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments}, author={Christian Hoareau and Ichiro Satoh}, booktitle={OTM Workshops}, year={2007} }