斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。242306--339(2015年;Zbl 1378.68112) 全文: 内政部
斯特凡·德姆里;迪帕克·D’Souza 一种用于约束LTL的自动机理论方法。 (英语) Zbl 1113.03015号 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D'Souza},Inf.Comput。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部 哈尔