Model checking based query and retrieval in OpenStreetMap
Authors
Di Noia Tommaso, Mongiello Marina, Di Sciascio EugenioDOI
https://doi.org/10.1007/978-3-319-25252-0_22BibTex references
@InCollection{DMD15,
author = "Di Noia, Tommaso and Mongiello, Marina and Di Sciascio, Eugenio",
title = "Model checking based query and retrieval in OpenStreetMap",
booktitle = "Ismis 2015",
year = "2015",
publisher = "springer",
url = "http://sisinflab.poliba.it/Publications/2015/DMD15"
}
