王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英语) 兹比尔1436.68077 西奥。计算。科学。 809, 430-465 (2020).MSC公司:68甲15 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,Theor。计算。科学。809430-465(2020年;Zbl 1436.68077) 全文: 内政部 arXiv公司
施、雅;田聪;段振华;周梦初 使用MSVL对Petri网进行模型检查。 (英语) Zbl 1427.68210号 信息科学。 363, 274-291 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shi}等人,《信息科学》。363274-291(2016年;Zbl 1427.68210) 全文: 内政部
罗玲;段振华;田聪;王小兵 从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) 全文: 内政部
杨晓晓;张瑜;傅明;冯新余 基于投影时态逻辑的原子块时态编程模型。 (英语) Zbl 1403.68042号 前面。计算。科学。 第8期,第6期,958-976页(2014年).MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,前。计算。科学。8、第6号958--976(2014;Zbl 1403.68042) 全文: 内政部
马,钱;段振华 基于MSVL的线性时间相关约束规划。 (英语) Zbl 1298.68253号 J.库姆。最佳方案。 27,第4期,724-766(2014). 审核人:K.Subramani(西弗吉尼亚州摩根镇) MSC公司:68T20型 68N17号 03B44号 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}和\textit{Z.Duan},J.Comb。最佳方案。27,第4号,724--766(2014;Zbl 1298.68253) 全文: 内政部
段振华;张楠;马西耶·库特尼 命题投影时序逻辑的完整证明系统。 (英语) 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) 全文: 内政部
张楠;段振华;田聪 用于多核并行计算的圆柱体计算模型。 (英语) 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) 全文: 内政部
杨晓晓;段振华;马,钱 投影时序逻辑程序的公理语义。 (英语) 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) 全文: 内政部