Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe. Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. In Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr, editors, Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich. Volume P-302 of LNI, pages 173-188, Gesellschaft für Informatik e.V., 2020. [doi]
@inproceedings{DraveHHKMR20,
title = {Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen},
author = {Imke Drave and Timo Henrich and Katrin Hölldobler and Oliver Kautz and Judith Michael and Bernhard Rumpe},
year = {2020},
url = {https://dl.gi.de/20.500.12116/31839},
researchr = {https://researchr.org/publication/DraveHHKMR20},
cites = {0},
citedby = {0},
pages = {173-188},
booktitle = {Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich},
editor = {Dominik Bork and Dimitris Karagiannis and Heinrich C. Mayr},
volume = {P-302},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-696-1},
}