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