TITLE     : An experimental spatio-temporal model checker
AUTHOR(S) : Ciancia V, Grilletti G, Latella D, Loreti M, Massink M
TYPE      : Contribution to book
YEAR      : 2015
CODE      : 344650

*** DO NOT EDIT THIS FILE ***