Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli. Synthesis and Verification of Self-aware Computing Systems. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 337-373, Springer International Publishing, 2017. [doi]
@incollection{CalinescuACMGIP0KKMST17,
title = {Synthesis and Verification of Self-aware Computing Systems},
author = {Radu Calinescu and Marco Autili and Javier Cámara and Antinisca Di Marco and Simos Gerasimou and Paola Inverardi and Alexander Perucci and Nils Jansen 0001 and Joost-Pieter Katoen and Marta Z. Kwiatkowska and Ole J. Mengshoel and Romina Spalazzese and Massimo Tivoli},
year = {2017},
doi = {10.1007/978-3-319-47474-8_11},
url = {https://doi.org/10.1007/978-3-319-47474-8_11},
researchr = {https://researchr.org/publication/CalinescuACMGIP0KKMST17},
cites = {0},
citedby = {0},
pages = {337-373},
booktitle = {Self-Aware Computing Systems},
editor = {Samuel Kounev and Jeffrey O. Kephart and Aleksandar Milenkoski and Xiaoyun Zhu},
publisher = {Springer International Publishing},
isbn = {978-3-319-47474-8},
}