蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 多目标马尔可夫自动机。 (英语) 兹比尔1522.68345 表格方法系统。设计。 60,编号1,33-86(2022).MSC公司:60年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}等人,《形式方法系统》。设计。60,编号1,33--86(2022;Zbl 1522.68345) 全文: 内政部 arXiv公司
埃蒂安·安德烈;阮黄家;劳雷·佩特鲁奇;孙骏 非零度假设下的分布式参数模型检验时间自动机。 (英语) Zbl 1522.68294号 表格方法系统。设计。 59,编号1-3,253-290(2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《形式方法系统》。设计。59,编号1--3,253--290(2021;Zbl 1522.68294) 全文: 内政部
弗雷德里克·朗;拉杜·马特埃斯库;佛朗哥,马赞蒂 通过组合互模拟对并发系统进行组合验证。 (英语) Zbl 1526.68008号 表格方法系统。设计。 58,编号1-2,83-125(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lang}等人,《形式方法系统》。设计。58,编号1--2,83-125(2021;Zbl 1526.68008) 全文: 内政部 哈尔
布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 (英语) Zbl 1317.68110号 表格方法系统。设计。 45,第2期,213-245(2014).MSC公司:60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人,《形式方法系统》。设计。45,第2号,213--245(2014;Zbl 1317.68110) 全文: 内政部
克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿 具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 (英语) Zbl 1291.68251号 表格方法系统。设计。 42,第3期,301-327(2013).MSC公司:60年第68季度 第68季度87 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,第3号,301-327(2013;Zbl 1291.68251) 全文: 内政部 arXiv公司
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 表格方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部
米盖尔·瓦莱罗·埃斯帕达;雅各布·范德波尔 CRL的抽象解释工具包。 (英语) 兹伯利1116.68058 表格方法系统。设计。 30,第3期,249-273(2007).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Valero Espada}和\textit{J.van de Pol},《形式方法系统》。设计。30,第3号,249--273(2007;Zbl 1116.68058) 全文: 内政部
Wan Fokkink公司;庞、军;雅各布·范德波尔 锥和焦点:协议验证的机械框架。 (英语) Zbl 1103.68652号 表格方法系统。设计。 29,第1期,1-31页(2006年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《形式方法系统》。设计。29,第1号,1--31(2006;Zbl 1103.68652) 全文: 内政部