BibTeX record conf/gi/ThossWKK20

• > Home > conf/gi/ThossWKK20

@inproceedings{DBLP:conf/gi/ThossWKK20,
  author       = {Olga Thoss and
                  Andreas Werner and
                  Robert Kaiser and
                  Reinhold Kr{\"{o}}ger},
  editor       = {Ralf H. Reussner and
                  Anne Koziolek and
                  Robert Heinrich},
  title        = {Unified Approach to Static and Runtime Verification},
  booktitle    = {50. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
                  2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2.
                  Oktober 2020},
  series       = {{LNI}},
  volume       = {{P-307}},
  pages        = {995--1002},
  publisher    = {{GI}},
  year         = {2020},
  url          = {https://doi.org/10.18420/inf2020\_93},
  doi          = {10.18420/INF2020\_93},
  timestamp    = {Mon, 14 Oct 2024 17:07:54 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/ThossWKK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}