Model checking based query and retrieval in OpenStreetMap

Model checking based query and retrieval in OpenStreetMap

Ismis 2015 - -2015

Authors

Di Noia Tommaso, Mongiello Marina, Di Sciascio Eugenio

DOI

https://doi.org/10.1007/978-3-319-25252-0_22

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

}