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

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]

Abstract

Abstract is missing.