×

找到20个文档（结果1–20）

最新的 引文 关联
克劳斯·哈弗伦德;多龙·贝利德

一阶时态属性的高效运行时验证。 （英语） Zbl 1508.68220号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 26-47 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}和\textit{D.Peled}，莱克特。注释计算。科学。10869，26-47（2018；Zbl 1508.68220）
全文： 内政部
加尔·卡茨;多龙·贝利德

遗传编程和模型检查：合成新的互斥算法。 （英语） Zbl 1183.68376号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（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 1155.68444号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。第20届国际会议，CAV 2008，美国新泽西州普林斯顿，2008年7月7日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123，504-516（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Niebert}等人，Lect。注释计算。科学。5123、504--516（2008年；Zbl 1155.68444）
全文： 内政部
吉里什·巴特;多龙·贝利德

向线性时序逻辑添加部分顺序。 （英语） Zbl 1512.68148号

Mazurkiewicz，Antoni（编辑）等人，CONCUR'97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 119-134 (1997).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Bhat}和\textit{D.Peled}，Lect。注释计算。科学。1243119--134（1997年；Zbl 1512.68148）
全文： 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀

用于检查\（\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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件