Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen

Drave, Imke; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard

by Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe

Reference:

I. Drave, T. Henrich, K. Hölldobler, O. Kautz, J. Michael, and B. Rumpe. Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen, In: Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr, editors, Modellierung 2020, pages 173-188, February, 2020, Gesellschaft für Informatik e.V..

Bibtex Entry:

@inproceedings{DHH+20,
    key = {DHH+20},
    author = {Drave, Imke and Henrich, Timo and H{\"o}lldobler, Katrin and Kautz, Oliver and Michael, Judith and Rumpe, Bernhard},
    editor = {Bork, Dominik and Karagiannis, Dimitris and Mayr, Heinrich C.},
    title = {{Modellierung, Verifikation und Synthese von validen Planungszust{\"a}nden f{\"u}r Fernsehausstrahlungen}},
    booktitle = {Modellierung 2020},
    year = {2020},
    month = {February},
    location = {Vienna},
    publisher = {Gesellschaft f{\"u}r Informatik e.V.},
    pages = {173-188},
    url = {http://www.se-rwth.de/publications/Modellierung-Verifikation-und-Synthese-von-validen-Planungszustaenden-fuer-Fernsehausstrahlungen.pdf}
}