克里斯特尔·拜尔;弗洛里安·芬克;西蒙·扬奇;雅各布皮里鲍尔;罗宾·齐梅克 马尔可夫链中的概率原因。 (英语) Zbl 1497.68356号 Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 205-221 (2021).MSC公司:87年第68季度 03B70号 60J10型 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。12971、205-221(2021;Zbl 1497.68356) 全文: 内政部 arXiv公司
阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 (英语) Zbl 1522.68319号 形式方法系统。设计。 57,编号2178-210(2021).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,《形式方法系统》。设计。57,编号2,178--210(2021;Zbl 1522.68319) 全文: 内政部
阿德里安·弗兰卡兰扎 监视器理论。 (英语) Zbl 1475.68206号 Inf.计算。 281,文章ID 104704,29 p.(2021).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza},Inf.计算。281,文章ID 104704,29 p.(2021;Zbl 1475.68206) 全文: 内政部
阿德里安·弗兰卡兰扎;克莱尔·西尼 计算机说不:使用本地证明系统对运行时监控器进行裁决解释。 (英语) Zbl 1455.68103号 J.日志。代数。方法计划。 119,文章ID 100636,25 p.(2021).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{C.Cini},J.Log。代数。方法计划。119,文章ID 100636,25 p.(2021;Zbl 1455.68103) 全文: 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 通过抑制在运行时强制执行。 (英语) Zbl 1520.68069号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。118,第34条,第17页(2018;Zbl 1520.68069) 全文: 内政部 arXiv公司
阿德里安·弗兰卡兰扎;卢卡·埃特罗;安娜·英格尔夫斯多蒂 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 (英语) Zbl 1370.68203号 形式方法系统。设计。 51,第1号,87-116(2017).MSC公司:第68季度第60季度 03B44号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人,《形式方法系统》。设计。51,第1号,87--116(2017;Zbl 1370.68203) 全文: 内政部