You are about to access our book library "Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering) full version"
.