TY  - RPRT
TI  - Specifying and Verifying Properties of Space - Extended Version
AU  - Vincenzo Ciancia
AU  - Diego Latella
AU  - Michele Loreti
AU  - Mieke Massink
PY  - 2014
UR  - https://arxiv.org/abs/1406.6393
ID  - 1406.6393
ER  -