BibTeX record conf/modellierung/DraveHHKMR20

• > Home > conf/modellierung/DraveHHKMR20

@inproceedings{DBLP:conf/modellierung/DraveHHKMR20,
  author       = {Imke Drave and
                  Timo Henrich and
                  Katrin H{\"{o}}lldobler and
                  Oliver Kautz and
                  Judith Michael and
                  Bernhard Rumpe},
  editor       = {Dominik Bork and
                  Dimitris Karagiannis and
                  Heinrich C. Mayr},
  title        = {Modellierung, Verifikation und Synthese von validen Planungszust{\"{a}}nden
                  f{\"{u}}r Fernsehausstrahlungen},
  booktitle    = {Modellierung 2020, 19.-21. Februar 2020, Wien, {\"{O}}sterreich},
  series       = {{LNI}},
  volume       = {{P-302}},
  pages        = {173--188},
  publisher    = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year         = {2020},
  url          = {https://dl.gi.de/handle/20.500.12116/31839},
  timestamp    = {Tue, 04 Jul 2023 17:44:30 +0200},
  biburl       = {https://dblp.org/rec/conf/modellierung/DraveHHKMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}