TITLE     : On-the-fly mean-field model-checking for attribute-based coordination preliminary version. Quanticol technical report TR-QC-01-2016
AUTHOR(S) : Ciancia V, Latella D, Massink M
TYPE      : Other
YEAR      : 2016
CODE      : 347350

*** DO NOT EDIT THIS FILE ***