哈维尔·埃斯帕尔扎;鲁本·卢比奥;所罗门·西克特 线性时序逻辑规范化的简单重写系统。 (英语) 兹比尔1528.68159 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 208-227 (2022).MSC公司:2012年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人,Lect。注释计算。科学。13660208-227(2022年;Zbl 1528.68159) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼 反应系统的多值推理。 (英语) Zbl 07640632号 已找到。趋势理论。计算。科学。 第2期第15页,第126-228页(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},已找到。趋势理论。计算。科学。15,第2号,126--228(2022;Zbl 07640632) 全文: 内政部
肖恩·阿佐帕迪;尼尔·皮特曼;杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 (英语) 兹比尔1497.68284 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人,莱克特。注释计算。科学。12971、337--353(2021;Zbl 1497.68284) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;贾克斯,斯特凡;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 验证总体协议的复杂性。 (英语) Zbl 1522.68065号 分布计算。 34,第2期,133-177(2021).MSC公司:64岁以下 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《分布计算》。34,编号2133-177(2021;兹bl 1522.68065) 全文: 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 (英语) Zbl 1392.68233号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,in:模型检查手册。查姆:斯普林格。921-962(2018;Zbl 1392.68233) 全文: 内政部
Natarajan Shankar 模型检验与演绎相结合。 (英语) Zbl 1392.68265号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。651-684 (2018).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar},in:模型检查手册。查姆:斯普林格。651--684(2018;Zbl 1392.68265) 全文: 内政部
拉杰夫·阿鲁尔;艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎 模型检查程序程序。 (英语) Zbl 1392.68226号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。541-572 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,in:模型检查手册。查姆:斯普林格。541--572(2018;Zbl 1392.68226) 全文: 内政部 链接
亲爱的,丹尼斯;奥尔纳·格伦伯格 抽象和抽象细化。 (英语) Zbl 1392.68244号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。385-419 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{O.Grumberg},in:模型检查手册。查姆:斯普林格。385--419(2018;Zbl 1392.68244) 全文: 内政部
迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。 组合推理。 (英语) Zbl 1392.68249号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。345-383 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}等人,在:模型检查手册中。查姆:斯普林格。345--383(2018年;Zbl 1392.68249) 全文: 内政部
阿明·比尔;丹尼尔·科宁 基于SAT的模型检查。 (英语) Zbl 1392.68232号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。277-303 (2018).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}和\textit{D.Kröning},in:模型检查手册。查姆:斯普林格。277-303(2018年;兹比尔1392.68232) 全文: 内政部