{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:30:11Z","timestamp":1725496211555},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76890-6_12","type":"book-chapter","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:37:06Z","timestamp":1195641426000},"page":"866-875","source":"Crossref","is-referenced-by-count":3,"title":["A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments"],"prefix":"10.1007","author":[{"given":"Christian","family":"Hoareau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ichiro","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/TIME.2004.1314428","volume-title":"Proc. 11th International Symposium on Temporal Representation and Reasoning (TIME 2004)","author":"L. Afanasiev","year":"2004","unstructured":"Afanasiev, L., Franceschet, M., Marx, M., de Rijke, M.: CTL Model Checking for Processing Simple XPath Queries. In: Proc. 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), pp. 117\u2013124. IEEE Computer Society, Los Alamitos (2004)"},{"key":"12_CR2","unstructured":"Areces, C., ten Cate, B.: Hybrid Logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logic (2005)"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s00779-004-0270-2","volume":"9","author":"C. Becker","year":"2005","unstructured":"Becker, C., D\u00fcrr, F.: On Location Models for Ubiquitous Computing. Personal and Ubiquitous Computing\u00a09(1), 20\u201331 (2005)","journal-title":"Personal and Ubiquitous Computing"},{"issue":"5-6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s007790200039","volume":"6","author":"M. Beigl","year":"2002","unstructured":"Beigl, M., Zimmer, T., Decker, C.: A Location Model for Communicating and Processing of Context. Personal and Ubiquitous Computing\u00a06(5-6), 341\u2013357 (2002)","journal-title":"Personal and Ubiquitous Computing"},{"key":"12_CR5","series-title":"Handbook of automated reasoning","first-page":"1635","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Schlingloff, B.H.: Model Checking. Handbook of automated reasoning, pp. 1635\u20131790. Elsevier Science Publishers B. V, Amsterdam (2001)"},{"key":"12_CR6","series-title":"Handbook of Theoretical Computer Science","first-page":"955","volume-title":"Temporal and modal logic","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 955\u20131072. MIT Press, Cambridge (1990)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/B:AUSE.0000028537.84347.9c","volume":"11","author":"M. Franceschet","year":"2004","unstructured":"Franceschet, M., Montanari, A., de Rijke, M.: Model Checking for Combined Logics with an Application to Mobile Systems. Automated Software Engineering\u00a011(3), 289\u2013321 (2004)","journal-title":"Automated Software Engineering"},{"key":"12_CR8","unstructured":"Kripke, S.A.: Semantical Considerations for Modal Logics. The Journal of Symbolic Logic\u00a034(3) (1969)"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/111197.111212","volume":"16","author":"M. Negri","year":"1991","unstructured":"Negri, M., Pelagatti, G., Sbattella, L.: Formal Semantics of SQL Queries. ACM Trans. on Database Systems\u00a016(3), 513\u2013534 (1991)","journal-title":"ACM Trans. on Database Systems"},{"key":"12_CR10","first-page":"215","volume-title":"Proc. 3rd IEEE International Conf. on Pervasive Computing and Communications (PERCOM 2005)","author":"I. Satoh","year":"2005","unstructured":"Satoh, I.: A Location Model for Pervasive Computing Environments. In: Proc. 3rd IEEE International Conf. on Pervasive Computing and Communications (PERCOM 2005), pp. 215\u2013224. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76890-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:28Z","timestamp":1619520328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76890-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768890"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76890-6_12","relation":{},"subject":[]}}