刘、姚;段振华;田聪;崔斌 线性时间微积分在有限迹上的可满足性。 （英语） Zbl 1476.68178号 Dinh，Thang N.（编辑）等，《计算与组合学》。2016年8月2-4日，第22届国际会议，2016年COCOON，越南胡志明市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9797, 611-622 (2016).MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人，Lect。注释计算。科学。9797611--622（2016；Zbl 1476.68178） 全文： 内政部
段振华;田聪;张楠 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 （英语） Zbl 1370.68200号 西奥。计算。科学。 609，第3部分，544-560（2016）. 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Theor。计算。科学。609，第3部分，544--560（2016；Zbl 1370.68200） 全文： 内政部