张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 （英语） Zbl 07657061号 西奥。计算。科学。 949，文章ID 113702，28 p.（2023）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。949，文章ID 113702，28 p.（2023；Zbl 07657061） 全文： 内政部
王海阳;段振华;田聪 交替投影时序逻辑的符号模型检查。 （英语） Zbl 1473.68108号 Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486481-495（2015年）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wang}等人，Lect。注释计算。科学。9486、481--495（2015；Zbl 1473.68108） 全文： 内政部
于斌;段振华;田聪 红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号 薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。MSC公司：60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Yu}等人，《电子》。理论注释。计算。科学。309、63-74（2014年；Zbl 1351.68169） 全文： 内政部