Query e Retrieval di percorsi in OpenStreetMap basato su Model Checking

DE MEO, CLAUDIO
2015/2016

2015
Model Checking based query and retrieval in OpenStreetMap
File in questo prodotto:
Fulltext non presente su UNITESI – Verifica la disponibilità della tesi in formato cartaceo interrogando il Catalogo di Ateneo

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14253/85429