TY  - BOOK
AU  - Marco Bernardo, Rocco De Nicola, Jane Hillston
TI  - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
SN  - 9783319340968
PY  - 2016///
PB  - Springer
KW  - Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Probability and Statistics in Computer Science; Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet)
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-34095-1
ER  -