Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem. CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. In Sumitra Reddy, editor, 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE Workshops 2015, Larnaca, Cyprus, June 15-17, 2015. pages 191-196, IEEE, 2015. [doi]
Abstract is missing.