马,钱;段振华;张楠;王晓兵 用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,编号103-131(2015;兹bl 1328.68032) 全文: 内政部
田聪;段振华 关于结巴变异PLTL的注释。 (英语) Zbl 1214.03015号 信息处理。莱特。 109,编号13663-667(2009).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Inf.过程。莱特。109,编号13,663--667(2009;Zbl 1214.03015) 全文: 内政部