%0 Book Section %1 books/sp/17/CalinescuACMGIP0KKMST17 %A Calinescu, Radu %A Autili, Marco %A Cámara, Javier %A Marco, Antinisca Di %A Gerasimou, Simos %A Inverardi, Paola %A Perucci, Alexander %A Jansen, Nils %A Katoen, Joost-Pieter %A Kwiatkowska, Marta Z. %A Mengshoel, Ole J. %A Spalazzese, Romina %A Tivoli, Massimo %B Self-Aware Computing Systems %D 2017 %E Kounev, Samuel %E Kephart, Jeffrey O. %E Milenkoski, Aleksandar %E Zhu, Xiaoyun %I Springer International Publishing %K %P 337-373 %T Synthesis and Verification of Self-aware Computing Systems. %U http://dblp.uni-trier.de/db/books/collections/KKMZ2017.html#CalinescuACMGIP0KKMST17 %@ 978-3-319-47474-8

@incollection{books/sp/17/CalinescuACMGIP0KKMST17, added-at = {2023-12-13T04:44:54.000+0100}, author = {Calinescu, Radu and Autili, Marco and Cámara, Javier and Marco, Antinisca Di and Gerasimou, Simos and Inverardi, Paola and Perucci, Alexander and Jansen, Nils and Katoen, Joost-Pieter and Kwiatkowska, Marta Z. and Mengshoel, Ole J. and Spalazzese, Romina and Tivoli, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/2b854080b982e393c8e7db4eb81c26fc0/admin}, booktitle = {Self-Aware Computing Systems}, crossref = {books/sp/KKMZ2017}, editor = {Kounev, Samuel and Kephart, Jeffrey O. and Milenkoski, Aleksandar and Zhu, Xiaoyun}, ee = {https://doi.org/10.1007/978-3-319-47474-8_11}, interhash = {99d107c622e95c15169fac639513fcbe}, intrahash = {b854080b982e393c8e7db4eb81c26fc0}, isbn = {978-3-319-47474-8}, keywords = {}, pages = {337-373}, publisher = {Springer International Publishing}, timestamp = {2023-12-13T04:44:54.000+0100}, title = {Synthesis and Verification of Self-aware Computing Systems.}, url = {http://dblp.uni-trier.de/db/books/collections/KKMZ2017.html#CalinescuACMGIP0KKMST17}, year = 2017 }