Daniel Stöhr, Sabine Glesner. Automated Composition of Timed Services by Planning as Model Checking. In Andreas Schönberger, Oliver Kopp, Niels Lohmann, editors, th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. Volume 847 of CEUR Workshop Proceedings, pages 34-41, CEUR-WS.org, 2012. [doi]
Abstract is missing.