@Inproceedings{EPTCS217.7, author = {Latella, Diego}, year = {2016}, title = {On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract.}, editor = {ter Beek, Maurice H. and Loreti, Michele}, booktitle = {{\rm Proceedings of the Workshop on} FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, {\rm Vienna, Austria, 8 July 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {217}, publisher = {Open Publishing Association}, pages = {53-61}, doi = {10.4204/EPTCS.217.7}, }