Query Language for Location-Based Services: A Model Checking Approach

• Autores: C. Hoareau, I. Satoh
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 91, Nº 4, 2008, págs. 976-985
• Idioma: inglés
• Texto completo no disponible (Saber más ...)