%0 Journal Article %1 journals/taas/WeynsMA12 %A Weyns, Danny %A Malek, Sam %A Andersson, Jesper %D 2012 %J ACM Trans. Auton. Adapt. Syst. %K dblp %N 1 %P 8:1-8:61 %T FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. %U http://dblp.uni-trier.de/db/journals/taas/taas7.html#WeynsMA12 %V 7

@article{journals/taas/WeynsMA12, added-at = {2020-12-29T00:00:00.000+0100}, author = {Weyns, Danny and Malek, Sam and Andersson, Jesper}, biburl = {https://www.bibsonomy.org/bibtex/23019819761e531022e3216de94ead98c/dblp}, ee = {https://doi.org/10.1145/2168260.2168268}, interhash = {876dfceccac3f6f54b0908028712c232}, intrahash = {3019819761e531022e3216de94ead98c}, journal = {ACM Trans. Auton. Adapt. Syst.}, keywords = {dblp}, number = 1, pages = {8:1-8:61}, timestamp = {2024-04-08T20:20:37.000+0200}, title = {FORMS: Unifying reference model for formal specification of distributed self-adaptive systems.}, url = {http://dblp.uni-trier.de/db/journals/taas/taas7.html#WeynsMA12}, volume = 7, year = 2012 }