肖姆·本·达维德;科普提,费迪;达纳·菲斯曼;西瓦尼特·鲁阿 实践中的空白:暂时的先例失败。 (英语) Zbl 1322.68132号 形式方法系统。设计。 46,第1期,81-104(2015).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben David}等人,Form.Methods Syst。设计。46,第1号,81--104(2015;Zbl 1322.68132) 全文: 内政部
维克托·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部