Martin Wirsing, Rocco De Nicola, Stefan Jähnichen. Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 161-170, Springer, 2020. [doi]
@inproceedings{WirsingNJ20,
title = {Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition},
author = {Martin Wirsing and Rocco De Nicola and Stefan Jähnichen},
year = {2020},
doi = {10.1007/978-3-030-61470-6_10},
url = {https://doi.org/10.1007/978-3-030-61470-6_10},
researchr = {https://researchr.org/publication/WirsingNJ20},
cites = {0},
citedby = {0},
pages = {161-170},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {12477},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-61470-6},
}