罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英语) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473--495(2021;Zbl 1522.68297) 全文: 内政部
罗德里克·布洛姆;费·戈尔施温;费边格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:第68季度第60季度 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) 全文: 内政部
保罗·C·阿蒂。 从动态规范合成大型动态并发程序。 (英语) Zbl 1392.68143号 形式方法系统。设计。 48,编号1-2,94-147(2016).MSC公司:68号30 第68季度第60季度 第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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}和\textit{B.Jobstmann},《形式方法系统》。设计。47,第1号,第26--50条(2015;Zbl 1322.68056) 全文: 内政部 链接
克里斯托弗·温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 第68季度第60季度 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公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;让-弗朗索瓦·拉斯金 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) 全文: 内政部
保罗·加斯丁;纳塔利·斯兹纳杰德;马克·泽顿 用于连接良好的体系结构的分布式合成。 (英语) Zbl 1180.68056号 形式方法系统。设计。 34,第3期,215-237(2009).MSC公司:64岁以下 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}等人,《形式方法系统》。设计。34,第3号,215--237(2009;Zbl 1180.68056) 全文: 内政部