Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
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.