Xiang Fu et al.: Formal Verification of e-Services and Workflows. (2002)conf/wes/FuBS0210.1007/3-540-36189-8_15Formal Verification of e-Services and Workflows.3Xiang Fu 00011Tevfik Bultan2Jianwen Su3188-202WESWES20022002provenance information for RDF data of dblp record 'conf/wes/FuBS02'2024-10-06T21:16:43+0200