TITLE     : Spatial logic and spatial model checking for closure spaces
AUTHOR(S) : Ciancia V, Latella D, Loreti M, Massink M
TYPE      : Contribution to book
YEAR      : 2016
CODE      : 356115

*** DO NOT EDIT THIS FILE ***