TITLE     : On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract
AUTHOR(S) : Latella D
TYPE      : Conference article
YEAR      : 2016
CODE      : 357988

*** DO NOT EDIT THIS FILE ***