TITLE     : Spatial logics and model checking for medical imaging
AUTHOR(S) : Banci Buonamici F, Belmonte G, Ciancia V, Latella D, Massink M
TYPE      : Journal article
YEAR      : 2019
CODE      : 409696

*** DO NOT EDIT THIS FILE ***