@misc{indiciae9c66c3b52cc8,
  title = {From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging},
  author = {Gina Belmonte and Vincenzo Ciancia and Diego Latella and Mieke Massink},
  year = {2016},
  doi = {10.4204/eptcs.217.10},
  url = {https://arxiv.org/abs/1607.02235},
  note = {Source identifier: 1607.02235}
}