TITLE     : QUANTICOL - Combining spatial verification with model reduction and relating local and global views
AUTHOR(S) : Massink M, Ter Beek M, Bortolussi L, Ciancia V, Gnesi S, Hillston J, Latella D, Loreti M, Tribastone M, Vandin A
TYPE      : Other
YEAR      : 2017
CODE      : 380926

*** DO NOT EDIT THIS FILE ***