阿隆·拉维德;奥尔纳·库普弗曼 相互接受容量受限自动机。 (英语) Zbl 07770050号 J.汽车。语言梳。 28,编号1-3,5-25(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alon}和\textit{O.Kupferman},J.Autom。语言梳。28,编号1--3,5--25(2023;Zbl 07770050) 全文: 链接
卢卡·斯帕拉齐;弗朗切斯科·斯佩尼 带布尔保护的时间自动机网络的参数化模型检查。 (英语) Zbl 1433.68219号 西奥。计算。科学。 813, 248-269 (2020).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Spalazzi}和\textit{F.Spegni},Theor。计算。科学。813248-269(2020年;Zbl 1433.68219) 全文: 内政部
奥尔纳·库普弗曼;莎莱·申瓦尔德 有容量的自动机和系统。 (英语) Zbl 1435.68175号 Inf.计算。 269,文章ID 104451,15 p.(2019).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald},Inf.Comput。269,文章ID 104451,15 p.(2019;Zbl 1435.68175) 全文: 内政部
安蒂·西尔托拉;朱哈Kortelainen 安全性能的多参数成分验证。 (英语) Zbl 1329.68173号 Inf.计算。 244, 23-48 (2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Siirtola}和\textit{J.Kortelainen},Inf.Comput。244、23-48(2015年;Zbl 1329.68173) 全文: 内政部
波胡斯拉夫·科埃纳;汤姆·沃纳 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 第4335-365号第42页(2013年).MSC公司:60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013;Zbl 1286.68318) 全文: 内政部