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

(2020) [Contribution to a conference proceedings]

[Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria]
Page(s): 173-188

Authors

Selected Authors

Drave, Imke Helene
Henrich, Timo
Hölldobler, Katrin
Kautz, Oliver
Michael, Judith

Other Authors

Rumpe, Bernhard

Identifier

  • REPORT NUMBER: RWTH-2020-02732