Verifying GSM-Based Business Artifacts

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio. Verifying GSM-Based Business Artifacts. In Carole A. Goble, Peter P. Chen, Jia Zhang, editors, 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012. pages 25-32, IEEE, 2012. [doi]

Abstract

Abstract is missing.