特夫菲克·布尔坦；傅、香；苏建文 用于自动验证web服务的工具。 （英语） Zbl 1108.68492号 Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，8-10（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bultan}等人，Lect。票据计算。科学。3299，8--10（2004；Zbl 1108.68492） 全文： 内政部
傅、香；特夫菲克·布尔坦；苏建文 WSAT：一种用于对web服务进行形式化分析的工具。 （英语） Zbl 1103.68613号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，510-514（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人，Lect。票据计算。科学。3114510--514（2004；Zbl 1103.68613） 全文： 内政部
傅、香；特夫菲克·布尔坦；苏建文 对话协议：反应式电子服务规范和验证的形式主义。 （英语） Zbl 1071.68002号 西奥。计算。科学。 328，第1-2、19-37号（2004年）.MSC公司：68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人，Theor。计算。科学。328，编号1--2，19-37（2004；Zbl 1071.68002） 全文： 内政部 链接
傅、香；特夫菲克·布尔坦；苏建文 对话协议：反应式电子服务规范和验证的形式主义。 （英语） 兹比尔1279.68210 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。票据计算。科学。2759, 188-200 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人，Lect。票据计算。科学。2759188-200（2003年；Zbl 1279.68210） 全文： 内政部 链接
傅、香；特夫菲克·布尔坦；苏建文 电子服务和工作流的正式验证。 （英语） Zbl 1022.68656号 Bussler，Christoph（ed.）等人，《Web服务、电子商务和语义Web》。CAiSE 2002国际研讨会，WES 2002，加拿大多伦多，2002年5月27日至28日。修订论文。柏林：斯普林格。莱克特。票据计算。科学。2512, 188-202 (2002).MSC公司：68单位99 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人，Lect。票据计算。科学。2512188-202（2002年；兹比尔1022.68656） 全文： 链接
傅、香；特夫菲克·布尔坦；理查德·赫尔；苏建文 验证Vortex工作流。 （英语） Zbl 0978.68716号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 143-157 (2001).MSC公司：68单位99 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人，Lect。票据计算。科学。2031，143--157（2001；Zbl 0978.68716） 全文： 链接