Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart. Formal verification of composite service recovery mechanisms consistency. In Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, White Plains, New York, USA, November 12-15, 2007. pages 278-287, IEEE, 2007. [doi]
Abstract is missing.