张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 （英语） 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 1497.68322号 西奥。计算。科学。 864, 58-69 (2021).MSC公司：60年第68季度 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。864，58-69（2021；Zbl 1497.68322） 全文： 内政部
刘，金;段振华;田聪 多匹配嵌套关系。 （英语） Zbl 1477.68157号 西奥。计算。科学。 854, 77-93 (2021).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人，Theor。计算。科学。854，77-93（2021；Zbl 1477.68157） 全文： 内政部
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 （英语） Zbl 1436.68200号 西奥。计算。科学。 809, 519-530 (2020).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Theor。计算。科学。809，519-530（2020年；兹比尔1436.68200） 全文： 内政部
赵亮;王晓兵;段振华 投影时序逻辑下推系统的模型检查。 （英语） Zbl 1423.68297号 西奥。计算。科学。 774, 82-94 (2019).MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人，Theor。计算。科学。774，82-94（2019年；Zbl 1423.68297） 全文： 内政部
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 （英语） Zbl 1423.68293号 西奥。计算。科学。 774, 65-81 (2019).MSC公司：60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan}，Theor。计算。科学。774，65-81（2019年；Zbl 1423.68293） 全文： 内政部
张楠;段振华;田聪;杜洪伟 一种验证程序上下文无关属性的新方法。 （英语） Zbl 1522.68353号 唐绍杰（编辑）等，《信息和管理中的算法方面》。2018年12月3日至4日在美国德克萨斯州达拉斯举行的2018年AAIM第12届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11343, 74-87 (2018).MSC公司：60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Lect。注释计算。科学。11343、74-87（2018年；Zbl 1522.68353） 全文： 内政部
崔、金;段振华;田聪;张楠 嵌套中断系统的建模和分析。 （中文。英文摘要） Zbl 1424.68030号 J.软件。 29，第6期，1670-1680（2018）.MSC公司：第68页第25页 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cui}等人，J.Softw。29，第6号，1670--1680（2018；Zbl 1424.68030） 全文： 内政部
张楠;段振华;田聪;杜洪伟;杨凯 建模和验证多核程序。 （英语） Zbl 1474.68196号 高晓峰（主编）等，组合优化及其应用。第十一届国际会议，2017年COCOA，中国上海，2017年12月16-18日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Lect。注释计算。科学。10628492-500（2017年；兹比尔1474.68196） 全文： 内政部
张晓明;段振华;田聪 PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 （英语） Zbl 1461.68124号 刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 195-205 (2016).MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人，Lect。注释计算。科学。9559195-205（2016；Zbl 1461.68124） 全文： 内政部
田聪;宋军;段振华;段，赵 LtlNfBa公司：使LTL翻译更实用。 （英语） Zbl 1461.68121号 刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 179-194 (2016).MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人，Lect。注释计算。科学。9559179--194（2016；Zbl 1461.68121） 全文： 内政部
田聪;段振华;杨梦飞 通过NFG从PLTL转换为自动化。 （英语） Zbl 1319.68144号 J.库姆。最佳方案。 29，第2期，406-417（2015）.MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人，J.Comb。最佳方案。29，第2号，406--417（2015；Zbl 1319.68144） 全文： 内政部
张楠;段振华;田聪 圆柱计算模型的公理化。 （英语） Zbl 1332.68144号 蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。计算机科学课堂讲稿8591，71-83（2014）。MSC公司：60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人，Lect。注释计算。科学。8591，71-83（2014；Zbl 1332.68144） 全文： 内政部
田聪;段振华;杨梦飞 将Büchi自动机确定为分区自动机。 （英语） Zbl 1381.68136号 杜定珠（编辑）等，《计算与组合学》。2013年6月21日至23日，第19届国际会议，COCOON 2013，中国杭州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38767-8/pbk）。计算机科学课堂讲稿7936，158-168（2013）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人，Lect。注释计算。科学。7936、158--168（2013年；Zbl 1381.68136） 全文： 内政部
田聪;段振华;张楠 模型检查中的一种有效的抽象重定义方法。 （英语） Zbl 1252.68197号 西奥。计算。科学。 461, 76-85 (2012).MSC公司：60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Tian｝等人，Theor。计算。科学。461，76-85（2012；Zbl 1252.68197） 全文： 内政部
舒新峰;段振华 有限时间投影时序逻辑的完全公理化。 （中文。英文摘要） Zbl 1240.68131号 J.软件。 22，第3期，366-380（2011）.MSC公司：60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}和\textit{Z.Duan}，J.Softw。22，第3号，366--380（2011；Zbl 1240.68131） 全文： 内政部
田聪;段振华 带有星形的命题投影时序逻辑的表达性。 （英语） Zbl 1221.03018号 西奥。计算。科学。 412，第18期，1729-1744（2011）.MSC公司：03B44号 03C05号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan}，Theor。计算。科学。412，第18号，1729-1744（2011；Zbl 1221.03018） 全文： 内政部
田聪;段振华 关于结巴变异PLTL的注释。 （英语） Zbl 1214.03015号 信息处理。莱特。 109，第13期，663-667（2009）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan}，Inf.过程。莱特。109，编号13，663--667（2009；Zbl 1214.03015） 全文： 内政部
张海滨;段振华 矩形混合系统的符号算法分析。 （英语） Zbl 1139.68381号 Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，294-305（2008）。MSC公司：60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{Z.Duan}，Lect。注释计算。科学。4978，294--305（2008；Zbl 1139.68381） 全文： 内政部