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.
Abstract is missing.