Towards the Automated Synthesis of Data Dependent Service Controllers.

Franziska Bathelt-Tok, Sabine Glesner

Browse the full ICSOC paper archive.