Cite
APA Citation
Bernardo, M., De Nicola, R., & Hillston, J. (. (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. Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100072147353.0x000001