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" }