TITLE     : On-the-fly mean-field model-checking for attribute-based coordination
AUTHOR(S) : Ciancia V, Latella D, Massink M
TYPE      : Conference article
YEAR      : 2016
CODE      : 355159

*** DO NOT EDIT THIS FILE ***