达纳·菲斯曼(编辑);里沙布·辛格(编辑);Solar Lezama,阿曼多(编辑) 语法指导合成前言专刊。 (英文) 兹比尔1490.00032 形式方法系统。设计。 58,第3号,469-470(2021).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}(编辑)等,《形式方法系统》。设计。58,第3号,469--470(2021;Zbl 1490.00032) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英文) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473-495(2021;兹bl 1522.68297) 全文: 内政部
罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,英戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英文) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英文) Zbl 1427.68051号 形式方法系统。设计。 55,第2号,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,编号2,73-102(2019;Zbl 1427.68051) 全文: 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 (英文) Zbl 1368.68233号 形式方法系统。设计。 49,第3期,219-271(2016).MSC公司:65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《形式方法系统》。设计。49,第3号,219--271(2016;Zbl 1368.68233) 全文: 内政部 arXiv公司
保罗·C·阿蒂。 从动态规范合成大型动态并发程序。 (英文) Zbl 1392.68143号 形式方法系统。设计。 48,编号1-2,94-147(2016).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Attie},形式方法系统。设计。48,编号1--2,94-147(2016;Zbl 1392.68143) 全文: 内政部 arXiv公司
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼 程序修复无遗憾。 (英文) Zbl 1322.68056号 形式方法系统。设计。 47,第1期,26-50(2015).MSC公司:68号30 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}和\textit{B.Jobstmann},《形式方法系统》。设计。47,第1号,第26--50条(2015;Zbl 1322.68056) 全文: 内政部 链接
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英文) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《形式方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
吕迪格·埃勒斯 符号有界合成。 (英文) Zbl 1247.68163号 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},《形式方法系统》。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
艾曼纽·菲利奥特;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) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英文) Zbl 1192.68416号 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
保罗·加斯丁;Nathalie Sznajder女士;马克·泽顿 用于连接良好的体系结构的分布式合成。 (英文) Zbl 1180.68056号 形式方法系统。设计。 34,第3期,215-237(2009).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,《形式方法系统》。设计。34,第3号,215--237(2009;Zbl 1180.68056) 全文: 内政部 哈尔