BibTeX record books/sp/17/CalinescuACMGIP0KKMST17

download as .bib file

@incollection{DBLP:books/sp/17/CalinescuACMGIP0KKMST17,
  author    = {Radu Calinescu and
               Marco Autili and
               Javier C{\'{a}}mara and
               Antinisca Di Marco and
               Simos Gerasimou and
               Paola Inverardi and
               Alexander Perucci and
               Nils Jansen and
               Joost{-}Pieter Katoen and
               Marta Z. Kwiatkowska and
               Ole J. Mengshoel and
               Romina Spalazzese and
               Massimo Tivoli},
  title     = {Synthesis and Verification of Self-aware Computing Systems},
  booktitle = {Self-Aware Computing Systems.},
  pages     = {337--373},
  year      = {2017},
  crossref  = {DBLP:books/sp/KKMZ2017},
  url       = {https://doi.org/10.1007/978-3-319-47474-8\_11},
  doi       = {10.1007/978-3-319-47474-8\_11},
  timestamp = {Wed, 14 Jun 2017 17:51:45 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/17/CalinescuACMGIP0KKMST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/KKMZ2017,
  editor    = {Samuel Kounev and
               Jeffrey O. Kephart and
               Aleksandar Milenkoski and
               Xiaoyun Zhu},
  title     = {Self-Aware Computing Systems},
  publisher = {Springer International Publishing},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-47474-8},
  doi       = {10.1007/978-3-319-47474-8},
  isbn      = {978-3-319-47472-4},
  timestamp = {Wed, 14 Jun 2017 17:51:18 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/KKMZ2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics