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
Identifier
- RWTH PUBLICATIONS: RWTH-2020-02732