Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen (bibtex)
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}
}
Powered by bibtexbrowser