Raman Kazhamiakin, Andreas Metzger, Marco Pistore. Towards Correctness Assurance in Adaptive Service-Based Applications. In Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings. Volume 5377 of Lecture Notes in Computer Science, pages 25-37, Springer, 2008. [doi]
Abstract is missing.