BibTeX record conf/icps/HoareauS09

• > Home > conf/icps/HoareauS09

@inproceedings{DBLP:conf/icps/HoareauS09,
  author       = {Christian Hoareau and
                  Ichiro Satoh},
  editor       = {Julie A. McCann and
                  Mario Lauria and
                  Domenico Cotroneo and
                  Mark A. Baker},
  title        = {From model checking to data management in pervasive computing: a location-based
                  query-processing framework},
  booktitle    = {Proceedings of the 2009 international conference on Pervasive services,
                  {ICPS} '09, London, United Kingdom, July 13-17, 2009},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1568199.1568206},
  doi          = {10.1145/1568199.1568206},
  timestamp    = {Tue, 06 Nov 2018 11:07:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icps/HoareauS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}