TY  - RPRT
TI  - Spatial Logics and Model Checking for Medical Imaging (Extended Version)
AU  - Fabrizio Banci Buonamici
AU  - Gina Belmonte
AU  - Vincenzo Ciancia
AU  - Diego Latella
AU  - Mieke Massink
PY  - 2018
UR  - https://arxiv.org/abs/1811.06065
ID  - 1811.06065
ER  -