Cite
MLA Citation
Marco Bernardo et al., editors. 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, 2016. http://access.bl.uk/ark:/81055/vdc_100072147353.0x000001