TITLE     : VoxLogicA: a spatial model checker for declarative image analysis
AUTHOR(S) : Belmonte G, Ciancia V, Latella D, Massink M
TYPE      : Conference article
YEAR      : 2019
CODE      : 402281

*** DO NOT EDIT THIS FILE ***