TITLE     : jSSTL - A tool to monitor spatio-temporal properties
AUTHOR(S) : Bortolussi L, Loreti M, Nenzi L
TYPE      : Conference article
YEAR      : 2017
CODE      : 424420

*** DO NOT EDIT THIS FILE ***