张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) 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 1498.03047号 西奥。计算。科学。 788,21-38(2019).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,Theor。计算。科学。788,21-38(2019年;Zbl 1498.03047) 全文: 内政部
Yang,Kai(杨凯);段振华;田聪;张楠 MSVL及其应用程序的编译器。 (英语) Zbl 1407.68096号 西奥。计算。科学。 749, 2-16 (2018).MSC公司:68N20型 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Yang}等人,Theor。计算。科学。749,2--16(2018;Zbl 1407.68096) 全文: 内政部
舒新峰;段振华 使用信号量扩展MSVL。 (英语) Zbl 1476.68183号 Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9797, 599-610 (2016).MSC公司:68问题85 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}和\textit{Z.Duan},Lect。注释计算。科学。9797599--610(2016年;Zbl 1476.68183) 全文: 内政部
马,钱;段振华;张楠;王晓兵 用MSVL公理系统验证分布式系统。 (英语) 兹比尔1328.68032 正式Asp。计算。 27,第1期,103-131(2015).MSC公司:64岁以下 68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人,正式Asp。计算。27,编号103-131(2015;兹bl 1328.68032) 全文: 内政部
罗玲;段振华;田聪;王晓兵 从p-(\pi)到MSVL的结构转换。 (英语) Zbl 1315.68182号 J.库姆。最佳方案。 29,第1期,308-329(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Luo}等人,J.Comb。最佳方案。29,第1号,308--329(2015;Zbl 1315.68182) 全文: 内政部
张楠;段振华;田聪;杜定珠 PPTL公理系统中截止期驱动调度器的形式化证明。 (英语) Zbl 1360.68771号 西奥。计算。科学。 554, 229-253 (2014).MSC公司:68吨15 03B44号 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。554229-253(2014年;Zbl 1360.68771) 全文: 内政部
张楠;段振华;田聪 用于多核并行计算的圆柱体计算模型。 (英语) Zbl 1416.68074号 西奥。计算。科学。 497, 68-83 (2013).MSC公司:2005年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。497,68-83(2013;Zbl 1416.68074) 全文: 内政部
段振华;马,钱;田聪;张楠 PPTL中的一些定点问题。 (英语) Zbl 1391.03018号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰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) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) Zbl 1213.68186号 数学。结构。计算。科学。 20,第5期,865-914(2010).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,数学。结构。计算。科学。20,第5号,865--914(2010;Zbl 1213.68186) 全文: 内政部
田聪;段振华 带有星形的命题投影时序逻辑的复杂性。 (英语) Zbl 1161.03008号 数学。结构。计算。科学。 第1期第19页,第73-100页(2009年).MSC公司:03B44号 03年2月25日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},数学。结构。计算。科学。19,第1号,73--100(2009;Zbl 1161.03008) 全文: 内政部
杨晓晓;段振华 框架Tempura的操作语义。 (英语) Zbl 1170.68006号 J.日志。代数。程序。 78,编号1,22-51(2008).MSC公司:68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan},J.Log。代数。程序。78,编号1,22--51(2008;Zbl 1170.68006) 全文: 内政部
段振华;田聪;张,李 具有无限模型的命题投影时序逻辑的决策过程。 (英语) Zbl 1141.68039号 Acta信息。 45,第1期,43-78(2008).MSC公司:60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,《信息学报》第45期,第1期,第43-78页(2008年;Zbl 1141.68039) 全文: 内政部