BibTeX record series/lncs/NafzSSR13

download as .bib file

@incollection{DBLP:series/lncs/NafzSSR13,
  author    = {Florian Nafz and
               Jan{-}Philipp Stegh{\"{o}}fer and
               Hella Seebach and
               Wolfgang Reif},
  editor    = {Javier C{\'{a}}mara and
               Rog{\'{e}}rio de Lemos and
               Carlo Ghezzi and
               Ant{\'{o}}nia Lopes},
  title     = {Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures},
  booktitle = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
  series    = {Lecture Notes in Computer Science},
  volume    = {7740},
  pages     = {80--111},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36249-1\_4},
  doi       = {10.1007/978-3-642-36249-1\_4},
  timestamp = {Sun, 02 Jun 2019 20:42:26 +0200},
  biburl    = {https://dblp.org/rec/series/lncs/NafzSSR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics