TITLE     : Preface. Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
AUTHOR(S) : Ter Beek M H, Loreti M Eds
TYPE      : Book
YEAR      : 2016
CODE      : 357990

*** DO NOT EDIT THIS FILE ***