Automated Analysis of Conflicts in WS-Agreement

Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés. Automated Analysis of Conflicts in WS-Agreement. IEEE T. Services Computing, 7(4):530-544, 2014. [doi]

Abstract

Abstract is missing.