TITLE     : Qualitative and quantitative monitoring of spatio-temporal properties. Extended version
AUTHOR(S) : Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M
TYPE      : Other
YEAR      : 2015
CODE      : 362790

*** DO NOT EDIT THIS FILE ***