BibTeX record conf/se/KuhnSSBWWRLKK15

download as .bib file

@inproceedings{DBLP:conf/se/KuhnSSBWWRLKK15,
  author    = {Jan K{\"{u}}hn and
               Pierre Schoonbrood and
               Andr{\'{e}} Stollenwerk and
               Christian Brendle and
               Nabil Wardeh and
               Marian Walter and
               Rolf Rossaint and
               Steffen Leonhardt and
               Stefan Kowalewski and
               R{\"{u}}diger Kopp},
  editor    = {Wolf Zimmermann and
               Wolfgang B{\"{o}}hm and
               Clemens Grelck and
               Robert Heinrich and
               Reiner Jung and
               Marco Konersmann and
               Alexander Schlaefer and
               Eric Schmieders and
               Sibylle Schupp and
               Baltasar Tranc{\'{o}}n y Widemann and
               Thorsten Weyer},
  title     = {Safety Conflict Analysis in Medical Cyber-Physical Systems Using an
               SMT-Solver},
  booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
               2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1337},
  pages     = {19--23},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1337/paper5.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:31 +0100},
  biburl    = {https://dblp.org/rec/conf/se/KuhnSSBWWRLKK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics