TITLE     : On-the-fly fast mean field model checking for collective adaptive systems
AUTHOR(S) : Massink M.
TYPE      : Other
YEAR      : 2014
CODE      : 330479

*** DO NOT EDIT THIS FILE ***