Xiang Fu, Tevfik Bultan, Jianwen Su. Formal Verification of e-Services and Workflows. In Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang, editors, Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers. Volume 2512 of Lecture Notes in Computer Science, pages 188-202, Springer, 2002. [doi]
Abstract is missing.