王蒙;田聪;张楠;段振华;姚晨光 将Xd-C程序转换为MSVL程序。 (英文) Zbl 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公司
王蒙;田聪;张楠;段振华;杜洪伟 验证安全关键系统的调度协议。 (英文) 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) 全文: 内政部
杨凯;段振华;田聪;张楠 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) 全文: 内政部