@article{spatiallogicsandmodelcheckingformedical,
  title = {Spatial Logics and Model Checking for Medical Imaging (Extended Version)},
  author = {Fabrizio Banci Buonamici and Gina Belmonte and Vincenzo Ciancia and Diego Latella and Mieke Massink},
  year = {2018},
  eprint = {1811.06065},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1811.06065v1},
}