TY  - RPRT
TI  - VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
AU  - Gina Belmonte
AU  - Vincenzo Ciancia
AU  - Diego Latella
AU  - Mieke Massink
PY  - 2018
UR  - https://arxiv.org/abs/1811.05677
ID  - 1811.05677
ER  -