Model Checking Based Query and Retrieval in OpenStreetMap.

Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio

Browse the full ISMIS paper archive.