Cite
HARVARD Citation
Bernardo, M. et al. (eds.) (2016) Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. [Online]. Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100072147353.0x000001