克劳斯·哈弗伦德;多龙·贝利德 关于监测线性时间特性。 （英语） Zbl 07757156号 表格方法系统。设计。 60，编号3，405-425（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{D.Peled}，《形式方法系统》。设计。60，编号3，405--425（2022；Zbl 07757156） 全文： 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查时态逻辑规范和（ω）正则语言的闭包属性的算法方法。 （英语） Zbl 0915.68058号 西奥。计算。科学。 195，第2期，183-203（1998）.MSC公司：2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人，Theor。计算。科学。195，编号2，183--203（1998；Zbl 0915.68058） 全文： 内政部
多龙·贝利德 关于射影和可分性质。 （英语） Zbl 0893.68090号 西奥。计算。科学。 186，编号1-2，135-155（1997）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Peled}，Theor。计算。科学。186，编号1--2，135-155（1997；Zbl 0893.68090） 全文： 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查\（\omega \）-正则语言的闭包属性的算法方法。 （英语） Zbl 1514.68109号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1119, 596-610 (1996).MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人，Lect。注释计算。科学。1119596-610（1996年；Zbl 1514.68109） 全文： 内政部
多龙·贝利德 将部分订单减少与飞行模型检查相结合。 （英语） 兹比尔1425.68267 表格方法系统。设计。 8，第1号，39-64（1996）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}，形式方法系统。设计。8，第1号，39--64（1996；Zbl 1425.68267） 全文： 内政部
多龙·贝利德;马泰·约瑟夫 通过规范转换实现容错的组合框架。 （英语） 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；Zbl 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;多龙·贝利德 使用代表性交错序列验证分布式程序。 （英语） 兹比尔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） 全文： 内政部