萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 分布式系统的基于知识的调度。 （英语） Zbl 1288.68178号 Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，26-41（2010）。MSC公司：68问题85 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人，Lect。注释计算。科学。6200，26-41（2010年；兹比尔1288.68178） 全文： 内政部 链接
彼得·尼伯特;多龙·贝利德 使用部分顺序快照对LTL进行有效的模型检查。 （英语） Zbl 1187.68317号 西奥。计算。科学。 410，第42号，4180-4189（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.尼伯特}和\textit{D.贝利德}，提奥。计算。科学。410，编号42，4180--4189（2009；Zbl 1187.68317） 全文： 内政部
加尔·卡茨;多龙·贝利德 遗传编程和模型检查：合成新的互斥算法。 （英语） Zbl 1183.68376号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，33-47（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}和\textit{D.Peled}，莱克特。注释计算。科学。5311、33-47（2008年；Zbl 1183.68376） 全文： 内政部
多龙·贝利德;马泰·约瑟夫 通过规范转换实现容错的组合框架。 （英语） Zbl 0812.68092号 西奥。计算。科学。 128，编号1-2，99-125（1994）。 审核人：F.Belli（帕德博恩） MSC公司：60年第68季度 68号01 68米15 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{M.Joseph}，Theor。计算。科学。128，编号1-2，99-125（1994；兹bl 0812.68092） 全文： 内政部
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 （英语） Zbl 0803.68070号 西奥。计算。科学。 126，第2143-182号（1994年）。MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli}，Theor。计算。科学。126，第2号，143--182（1994；Zbl 0803.68070） 全文： 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 （英语） Zbl 0773.68053号 分布计算。 6，第2期，107-120（1992）。MSC公司：60年第68季度 68宽15 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，分布计算。6，编号2，107-120（1992；Zbl 0773.68053） 全文： 内政部
Shmuel Katz;多龙·贝利德 使用折叠定义条件独立性。 （英语） Zbl 0769.68082号 西奥。计算。科学。 101，第2期，337-359（1992）。MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，Theor。计算。科学。101，第2号，337--359（1992；Zbl 0769.68082） 全文： 内政部
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 （英语） Zbl 0718.03014号 西奥。计算。科学。 75，第3期，263-287（1990）。 审核人：J.-J.Ch.Meyer（阿姆斯特丹） MSC公司：03B45号 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，Theor。计算。科学。75，第3号，263--287（1990；Zbl 0718.03014） 全文： 内政部