西里尔·阿尔托（编辑）;Legay、Axel（编辑）;多龙·贝利德（编辑） 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 （英语） Zbl 1346.68003号 计算机科学课堂讲稿9938.查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。xi，第530页。(2016).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}（ed.）等人，验证和分析自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：斯普林格（2016；Zbl 1346.68003） 全文： 内政部
多龙·贝利德;斯文·舍韦 社论：综合专题。 （英语） Zbl 1300.68005号 学报信息。 51，第3-4、127-128号（2014）.MSC公司：68-06 00B25型 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{S.Schewe}，《学报》第51期，第3-4127-128号（2014年；Zbl 1300.68005） 全文： 内政部
佐哈尔·曼纳（编辑）;Doron A.Peled。（编辑） 验证时间。纪念埃米尔·普努利的散文。 （英语） Zbl 1194.68054号 计算机科学课堂讲稿6200.柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。x、 401页。(2010).MSC公司：68-06 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}（编辑）和\textit{D.A.Peled}（编者），验证时间。纪念埃米尔·普努利的散文。柏林：施普林格出版社（2010；Zbl 1194.68054） 全文： 内政部
Doron A.Peled。（编辑）;迈克尔·J·伍尔德里奇。（编辑） 模型检查和人工智能。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。 （英语） Zbl 1156.68006号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。vii，189页。(2009).MSC公司：68-06 60年第68季度 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（编辑）和textit{M.J.Wooldridge}（主编），模型检查和人工智能。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（2009；Zbl 1156.68006） 全文： 内政部
弗朗西斯科·洛戈佐（编辑）;Doron A.Peled。（编辑）;Lenore D.扎克。（编辑） 验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 （英语） Zbl 1134.68006号 计算机科学课堂讲稿4905.柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。x、 325页。(2008).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Logozzo}（编辑）等人，《验证、模型检查和抽象解释》。第九届国际会议，VMCAI 2008，美国旧金山，2008年1月7日至9日。诉讼程序。柏林：施普林格（2008年；Zbl 1134.68006） 全文： 内政部
Doron A.Peled。（编辑）;Tsay，Yih-Kuen先生（编辑） 特刊：用于验证和分析的自动化技术（ATVA 2005）。根据2005年10月4日至7日在台湾台北举行的国际研讨会上的发言选出的论文。 （英语） Zbl 1127.68329号 发现的国际期刊。计算。科学。18，第1期，194页。(2007). MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式
Doron A.Peled。（编辑）;Tsay，Yih-Kuen先生（编辑） 用于验证和分析的自动化技术。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。 （英语） Zbl 1089.68013号 计算机科学课堂讲稿3707.柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。xii，506页。(2005).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（编辑）和\textit{Y.-K.Tsay}（主编），验证和分析自动化技术。2005年10月4-7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（2005；Zbl 1089.68013） 全文： 内政部
拉杰夫·阿鲁尔（编辑）;Doron A.Peled。（编辑） 计算机辅助验证。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。 （英语） Zbl 1056.68003号 计算机科学课堂讲稿3114.柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。xii，536页。(2004).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}（编辑）和\textit{D.A.Peled}（编），计算机辅助验证。2004年7月13日至17日在美国马萨诸塞州波士顿举行的第16届国际会议，CAV 2004。诉讼程序。柏林：施普林格出版社（2004；Zbl 1056.68003） 全文： 内政部
Doron A.Peled。（编辑）;莫舍·瓦尔迪。（编辑） 网络和分布式系统的形式化技术–FORTE 2002。第22届IFIP工作组6。2002年11月11日至14日在美国德克萨斯州休斯顿举行的第1届国际会议。诉讼程序。 （英语） Zbl 1007.00057号 计算机科学课堂讲稿. 2529. 柏林：斯普林格。xi，370页（2002年）。MSC公司：00B25型 68-06 68M10个 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（编辑）和textit{M.Y.Vardi}（主编），网络和分布式系统的形式化技术--FORTE 2002。第22届IFIP工作组6。2002年11月11日至14日在美国德克萨斯州休斯顿举行的第1届国际会议。诉讼程序。柏林：施普林格出版社（2002；Zbl 1007.00057） 全文： 内政部 链接
尼古拉斯·哈尔巴赫斯（编辑）;多龙·贝利德（编辑） 计算机辅助验证。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。 （英语） Zbl 0925.68015号 计算机科学课堂讲稿1633.柏林：斯普林格。xii，506 p.（1999）。MSC公司：68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛N.Halbwachs｝（编辑）和\textit｛D.Peled｝（编辑），计算机辅助验证。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（1999；Zbl 0925.68015） 全文： 内政部
Jean-Charles，格雷戈里（编辑）;杰拉德·J·霍尔兹曼。（编辑）;Doron A.Peled。（编辑） SPIN验证系统。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。 （英语） Zbl 0868.00062号 DIMACS系统。离散数学和理论计算机科学系列. 32. 普罗维登斯，RI：美国数学学会（AMS）。xii，203页（1997年）。MSC公司：00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Grégoire}（编辑）等人，《SPIN验证系统》。第二次研讨会，DIMACS研讨会的会议记录。美国新泽西州新不伦瑞克罗格斯大学；1996年8月5日。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0868.00062）
Doron A.Peled。（编辑）;沃恩·R·普拉特。（编辑）;杰拉德·J·霍尔兹曼。（编辑） 验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿大学。 （英语） Zbl 0863.00044号 DIMACS系统。离散数学和理论计算机科学系列. 29. 普罗维登斯，RI：美国数学学会（AMS）。xiv，403页（1997年）。MSC公司：00B25型 68-06 2010年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled}（ed.）等人，验证中的部分顺序方法。DIMACS研讨会，1996年7月24日至26日，美国新泽西州普林斯顿市普林斯顿大学。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0863.00044）