BibTeX record journals/corr/HolthusenQSSW16

• > Home > journals/corr/HolthusenQSSW16

@inproceedings{DBLP:journals/corr/HolthusenQSSW16,
  author       = {S{\"{o}}nke Holthusen and
                  Sophie Quinton and
                  Ina Schaefer and
                  Johannes Schlatow and
                  Martin Wegner},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Using Multi-Viewpoint Contracts for Negotiation of Embedded Software
                  Updates},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {31--45},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.3},
  doi          = {10.4204/EPTCS.208.3},
  timestamp    = {Fri, 09 Apr 2021 18:27:22 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HolthusenQSSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}