Towards Automated and Correct Composition of Timed Services.

Daniel Sthr, Sabine Glesner

Browse the full ICSOC paper archive.