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

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

(2020)
Contribution to a conference proceedings

In: [Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria]
Page(s)/Article-Nr.: 173-188