×

找到10个文档(结果1-10)

线性时序逻辑规范化的简单重写系统。 (英语) 兹比尔1528.68159

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 208-227 (2022).
PDF格式BibTeX公司 XML格式引用

在反应合成中加入监测器而无需付出代价。 (英语) 兹比尔1497.68284

Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).
PDF格式BibTeX公司 XML格式引用

图形游戏和反应合成。 (英语) Zbl 1392.68233号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查程序程序。 (英语) Zbl 1392.68226号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。541-572 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

组合推理。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段