@Article{hillston_et_al:DagRep.4.12.68,
author = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
title = {{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}},
pages = {68--113},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {12},
editor = {Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68},
URN = {urn:nbn:de:0030-drops-50066},
doi = {10.4230/DagRep.4.12.68},
annote = {Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop}
}