博尔祖·博纳克达尔普尔;Fraigniaud,皮埃尔;塞尔吉奥·拉杰斯鲍姆;戴维·罗森布鲁斯;科伦蒂·特拉弗斯 分散式异步崩溃恢复运行时验证。 (英语) Zbl 07679902号 美国临床医学杂志 69,第5号,第34条,第31页(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人,J.ACM 69,第5号,第34条,第31页(2022年;Zbl 07679902) 全文: 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 线性时态逻辑到(ω)-自动机的统一转换。 (英语) Zbl 1499.03017号 美国临床医学杂志 第67条第6款第33条第61页(2020年).MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,J.ACM 67,第6号,第33条,第61页(2020年;Zbl 1499.03017) 全文: 内政部
托马斯·费雷尔;奥德·马勒;德扬·尼契科维奇;阿米尔·普努利 从实时逻辑到时间自动机。 (英语) Zbl 1473.68107号 美国临床医学杂志 66,第3条,第19条,第31页(2019年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferrère}等人,J.ACM 66,第3号,第19条,第31页(2019;Zbl 1473.68107) 全文: 内政部
罗文·戴维斯 绑定时间分析的时间逻辑方法。 (英语) Zbl 1426.68034号 美国临床医学杂志 64,第1号,第1条,45页(2017年).MSC公司:68甲18 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Davies},J.ACM 64,第1号,第1条,45页(2017;Zbl 1426.68034) 全文: 内政部
拜伦·库克;海蒂·卡拉夫;尼尔·皮特曼 验证无限状态系统中表达能力越来越强的时序逻辑。 (英语) 兹比尔1426.68166 美国临床医学杂志 64,第2号,第15条,第39页(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,J.ACM 64,第2号,第15条,39页(2017年;Zbl 1426.68166) 全文: 内政部 链接
沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 对质量进行正式推理。 (英语) 兹比尔1426.68161 美国临床医学杂志 63,第3号,第24条,56页(2016年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,J.ACM 63,第3号,第24条,56页(2016年;Zbl 1426.68161) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;塞缪尔·米勒;尤根·兹利内斯库 监控度量一阶时间属性。 (英语) Zbl 1333.68177号 美国临床医学杂志 62,第2号,第15条,45页(2015年).MSC公司:60年第68季度 03B44号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,J.ACM 62,No.2,Article No.15,45 p.(2015;Zbl 1333.68177) 全文: 内政部
哈根·沃尔泽;丹尼尔·瓦拉卡 定义反应式和并发系统中的公平性。 (英语) Zbl 1281.68163号 美国临床医学杂志 59,第3号,第13条,37页(2012年).MSC公司:68问题85 60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Völzer}和\textit{D.Varacca},J.ACM 59,第3号,第13条,第37页(2012年;Zbl 1281.68163) 全文: 内政部
埃德蒙·克拉克;奥尔纳·格伦伯格;杰哈,萨默什;卢、袁;赫尔穆特·维思 用于符号模型检查的反例引导抽象细化。 (英语) Zbl 1325.68145号 美国临床医学杂志 50,第5期,752-794(2003).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,J.ACM 50,No.5,752--794(2003;Zbl 1325.68145) 全文: 内政部
安德烈·克罗金;杰文斯,彼得;彼得·琼森 关于时间关系的推理,艾伦区间代数的易处理子代数。 (英语) Zbl 1325.68220号 美国临床医学杂志 50,第5期,591-640(2003).MSC公司:68T27型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krokhin}等人,J.ACM 50,No.5,591--640(2003;Zbl 1325.68220) 全文: 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼 交替时间时序逻辑。 (英语) Zbl 1326.68181号 美国临床医学杂志 49,第5期,672-713(2002).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,J.ACM 49,No.5,672--713(2002;Zbl 1326.68181) 全文: 内政部 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 分支时间模型检查的自动机理论方法。 (英语) Zbl 1133.68376号 美国临床医学杂志 47,第2期,312-360(2000).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,J.ACM 47,第21312-360号(2000年;Zbl 1133.68376) 全文: 内政部