张楠；于朝峰；段振华；田聪 统一时序逻辑的证明系统。 （英语） 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 1485.03045号 西奥。计算。科学。 838, 25-44 (2020).MSC公司：03B44号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人，Theor。计算。科学。838，25-44（2020；Zbl 1485.03045） 全文： 内政部
张楠；段振华；田聪；杜洪伟 一种验证程序上下文无关属性的新方法。 （英语） Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。809519-530（2020年；Zbl 1436.68200） 全文： 内政部
段振华；田聪；张楠；马，钱；杜洪伟 索引集表达式可以表示时态逻辑公式。 （英语） Zbl 1498.03047号 西奥。计算。科学。 788, 21-38 (2019).MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Theor。计算。科学。788，21-38（2019年；Zbl 1498.03047） 全文： 内政部
马，钱；段振华；张楠；王晓兵 用MSVL公理系统验证分布式系统。 （英语） Zbl 1328.68032号 正式Asp。计算。 27，第1期，103-131（2015）.MSC公司：64岁以下 68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人，正式Asp。计算。27，第1号，第103--131条（2015；Zbl 1328.68032） 全文： 内政部
段振华；卜康康；田聪；张楠 基于动态符号执行的MSVL程序模型检查。 （英语） Zbl 1465.68176号 徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 521-533 (2015).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Lect。注释计算。科学。9198、521--533（2015；Zbl 1465.68176） 全文： 内政部
段振华；张楠；马西耶·库特尼 命题投影时序逻辑的完整证明系统。 （英语） Zbl 1417.03146号 西奥。计算。科学。 497, 84-107 (2013).MSC公司：03B44号 03B35型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Theor。计算。科学。497，84-107（2013；Zbl 1417.03146） 全文： 内政部
段振华；马，钱；田聪；张楠 PPTL中的一些定点问题。 （英语） Zbl 1391.03018号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051151-165（2013）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Lect。注释计算。科学。8051，151--165（2013；Zbl 1391.03018） 全文： 内政部