Akhil Kumar, Zhe Shan. Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition. In Robert Meersman, Zahir Tari, editors, On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I. Volume 5331 of Lecture Notes in Computer Science, pages 120-138, Springer, 2008. [doi]
Abstract is missing.