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]
@inproceedings{FuBS02, title = {Formal Verification of e-Services and Workflows}, author = {Xiang Fu and Tevfik Bultan and Jianwen Su}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2512/25120188.htm}, tags = {e-science, workflow}, researchr = {https://researchr.org/publication/FuBS02}, cites = {0}, citedby = {0}, pages = {188-202}, booktitle = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers}, editor = {Christoph Bussler and Richard Hull and Sheila A. McIlraith and Maria E. Orlowska and Barbara Pernici and Jian Yang}, volume = {2512}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00198-0}, }