Model checking based query and retrieval in OpenStreetMap

Ismis 2015, springer - 2015

BibTex references


@InCollection{DMD15,
author = {Tommaso {Di Noia} and Marina Mongiello and Eugenio {Di Sciascio}},
title = "Model checking based query and retrieval in
OpenStreetMap",
booktitle = "Ismis 2015",
year = "2015",
publisher = "springer",
url = "http://sisinflab.poliba.it/publications/2015/DMD15"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy