George Koliadis, Aditya Ghose. Verifying Semantic Business Process Models in Inter-operation. In 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 731-738, IEEE Computer Society, 2007. [doi]
Abstract is missing.