马尔塞洛·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉 用于确定连续时间度量时序逻辑的可满足性的工具。 (英语) Zbl 1336.68230号 Acta信息。 53,第2期,171-206(2016).MSC公司:68吨15 03年2月25日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《信息学报》53,第2期,171--206(2016;Zbl 1336.68230) 全文: 内政部 链接
Jean-François康多塔;苏希拉·卡奇;雅库布Salhi 时间定性约束网络中的优化。 (英语) Zbl 1336.68244号 Acta信息。 53,编号2149-170(2016).MSC公司:68T27型 68第05页 2017年第68季度 65年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Condotta}等人,《信息学报》53,第2期,149--170(2016年;Zbl 1336.68244) 全文: 内政部
卢克·亨斯伯格 具有不确定性的动态可控简单时态网络的高效执行。 (英语) Zbl 1336.68250号 Acta信息。 53,第2期,89-147(2016).MSC公司:68层37 68第05页 65年第68季度 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger},Acta Inf.53,No.2,89--147(2016;Zbl 1336.68250) 全文: 内政部
塞萨尔·桑切斯(编辑);Venable,K.布伦特(编辑);埃斯特班·齐曼伊(编辑) 时间表征和推理专题(TIME'13)。 (英语) Zbl 1332.00098号 Acta信息。 53,第2号,87-88(2016).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Sanchez}(编辑)等人,《学报》第53期,第2期,第87-88页(2016年;Zbl 1332.00098) 全文: 内政部