王蒙;田聪;张楠;段振华;杜洪伟 验证安全关键系统的调度协议。 (英语) Zbl 1423.90101号 J.库姆。最佳方案。 37,第4期,1191-1215(2019).MSC公司:90B35型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}等人,J.Comb。最佳方案。37,第4号,1191--1215(2019;Zbl 1423.90101) 全文: 内政部
罗玲;段振华;田聪;王晓兵 从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,编号1308-329(2015;兹bl 1315.68182) 全文: 内政部
马,钱;段振华 基于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 1195.94053号 J.库姆。最佳方案。 19,第4期,501-530(2010).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}和\textit{C.Yang},J.Comb。最佳方案。19,第4号,501--530(2010;Zbl 1195.94053) 全文: 内政部