%0 Journal Article %1 journals/cacm/CalinescuGKM12 %A Calinescu, Radu %A Ghezzi, Carlo %A Kwiatkowska, Marta Z. %A Mirandola, Raffaela %D 2012 %J Commun. ACM %K dblp %N 9 %P 69-77 %T Self-adaptive software needs quantitative verification at runtime. %U http://dblp.uni-trier.de/db/journals/cacm/cacm55.html#CalinescuGKM12 %V 55

@article{journals/cacm/CalinescuGKM12, added-at = {2022-04-09T00:00:00.000+0200}, author = {Calinescu, Radu and Ghezzi, Carlo and Kwiatkowska, Marta Z. and Mirandola, Raffaela}, biburl = {https://www.bibsonomy.org/bibtex/2f1b9b8bb776695c5dccfb437ae31e8c2/dblp}, ee = {https://doi.org/10.1145/2330667.2330686}, interhash = {38c226b5080ac97515cc5fb7e6dfa6a3}, intrahash = {f1b9b8bb776695c5dccfb437ae31e8c2}, journal = {Commun. ACM}, keywords = {dblp}, number = 9, pages = {69-77}, timestamp = {2024-04-09T02:11:40.000+0200}, title = {Self-adaptive software needs quantitative verification at runtime.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm55.html#CalinescuGKM12}, volume = 55, year = 2012 }