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

*** DO NOT EDIT THIS FILE ***