%0 Journal Article %1 journals/taas/ArcainiRS17 %A Arcaini, Paolo %A Riccobene, Elvinia %A Scandurra, Patrizia %D 2017 %J ACM Trans. Auton. Adapt. Syst. %K dblp %N 4 %P 25:1-25:35 %T Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. %U http://dblp.uni-trier.de/db/journals/taas/taas11.html#ArcainiRS17 %V 11

@article{journals/taas/ArcainiRS17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Arcaini, Paolo and Riccobene, Elvinia and Scandurra, Patrizia}, biburl = {https://www.bibsonomy.org/bibtex/22ad7b90629d75984bdcb73775372290c/dblp}, ee = {https://doi.org/10.1145/3019598}, interhash = {220d359b0599635d4eb78f56fbbddc19}, intrahash = {2ad7b90629d75984bdcb73775372290c}, journal = {ACM Trans. Auton. Adapt. Syst.}, keywords = {dblp}, number = 4, pages = {25:1-25:35}, timestamp = {2024-04-08T20:20:42.000+0200}, title = {Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.}, url = {http://dblp.uni-trier.de/db/journals/taas/taas11.html#ArcainiRS17}, volume = 11, year = 2017 }