Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Imke Drave' in GoogleThis author has not been identified. Look up 'Timo Henrich' in GoogleThis author has not been identified. Look up 'Katrin Hölldobler' in GoogleThis author has not been identified. Look up 'Oliver Kautz' in GoogleThis author has not been identified. Look up 'Judith Michael' in GoogleIdentified as Bernhard Rumpe

runs on WebDSL