维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1356.68146号 西奥。计算。科学。 655,B部分,155-192(2016).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},Theor。计算。科学。655,B部分,155--192(2016;Zbl 1356.68146) 全文: 内政部 arXiv公司
维克多·舒潘 通过时间分辨率提取LTL的不满意核心。 (英语) Zbl 1338.68170号 学报信息。 53,第3期,247-299(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司