特夫菲克·布尔坦（编辑）;熊宝安（编辑） 用于验证和分析的自动化技术。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。 （英语） 兹比尔1223.68004 计算机科学讲义6996.柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。xiv，532页。(2011).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bultan}（编辑）和\textit{P.-A.Hsiung}（主编），验证和分析自动化技术。2011年10月11-14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格（2011年；兹bl 1223.68004） 全文： 内政部
马里奥·布雷韦蒂（编辑）;特夫菲克·布尔坦（编辑） Web服务和形式化方法。2010年9月16日至17日，美国新泽西州霍博肯WS-FM 2010第七届国际研讨会。修订了选定的论文。 （英语） Zbl 1334.68012号 计算机科学讲义6551.柏林：施普林格出版社（ISBN 978-3-642-19588-4/pbk）。viii，191页。(2011).MSC公司：68-06 68英里11 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}（ed.）和\textit{T.Bultan}（edi.），Web服务和形式化方法。2010年9月16日至17日，美国新泽西州霍博肯WS-FM 2010第七届国际研讨会。修订了选定的论文。柏林：施普林格出版社（2011；Zbl 1334.68012） 全文： 内政部