MLA

Marco Bernardo, Rocco De Nicola, Jane Hillston, Rocco De Nicola, and Jane Hillston. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Springer International Publishing, 2016.

APA

Marco Bernardo, J. Hillston, De Nicola, R., & Hillston, J. (2016). Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Springer International Publishing.

Chicago

Marco Bernardo, Rocco De Nicola, Jane Hillston, Rocco De Nicola, and Jane Hillston. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. : Springer International Publishing, 2016.