@misc{indiciae1db3cd93cfd8,
  title = {Using Spatial Logic and Model Checking for Nevus Segmentation},
  author = {Gina Belmonte and Giovanna Broccia and Vincenzo Ciancia and Diego Latella and Mieke Massink},
  year = {2020},
  url = {https://arxiv.org/abs/2012.13289},
  note = {Source identifier: 2012.13289}
}