TITLE     : QUANTICOL - Foundations of scalable verification for stochastic logics
AUTHOR(S) : Massink M, Bortolussi L, Ciancia V, Hillston J, Lluchlafuente A, Latella D, Loreti M, Reijsbergen D, Vandin A
TYPE      : Other
YEAR      : 2014
CODE      : 362770

*** DO NOT EDIT THIS FILE ***