by Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe
Reference:
I. Drave, T. Henrich, K. Hölldobler, O. Kautz, J. Michael, and B. Rumpe. Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen, In: Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr, editors, Modellierung 2020, pages 173-188, February, 2020, Gesellschaft für Informatik e.V..
Bibtex Entry:
@inproceedings{DHH+20,
key = {DHH+20},
author = {Drave, Imke and Henrich, Timo and H{\"o}lldobler, Katrin and Kautz, Oliver and Michael, Judith and Rumpe, Bernhard},
editor = {Bork, Dominik and Karagiannis, Dimitris and Mayr, Heinrich C.},
title = {{Modellierung, Verifikation und Synthese von validen Planungszust{\"a}nden für Fernsehausstrahlungen}},
booktitle = {Modellierung 2020},
year = {2020},
month = {February},
location = {Vienna},
publisher = {Gesellschaft für Informatik e.V.},
pages = {173--188},
url = {http://www.se-rwth.de/publications/Modellierung-Verifikation-und-Synthese-von-validen-Planungszustaenden-fuer-Fernsehausstrahlungen.pdf}
}