Franziska Bathelt-Tok. Data-Dependent Controller Synthesis for Correct Service Composition. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 122, Pro Business GmbH, 2014.
@inproceedings{Bathelt-Tok14-0,
title = {Data-Dependent Controller Synthesis for Correct Service Composition},
author = {Franziska Bathelt-Tok},
year = {2014},
researchr = {https://researchr.org/publication/Bathelt-Tok14-0},
cites = {0},
citedby = {0},
pages = {122},
booktitle = {Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014},
editor = {Anja Jentzsch and Tobias Pape and Sebastian Pasewaldt},
publisher = {Pro Business GmbH},
isbn = {978-3-86386-719-5},
}