Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016

Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016Ed. by Bernardo M., De Nicola R., Hillston J..-Berlin.: Springer, 2016.-Vol. 9700.-261 p.-(Lecture Notes in Computer Science).