舒新峰；张楠；王晓兵；赵亮 命题投影时序逻辑的有效决策过程。 （英语） Zbl 1476.03019号 西奥。计算。科学。 838，1-16（2020）. 审核人：Valentin F.Goranko（斯德哥尔摩） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}等人，Theor。计算。科学。838，1--16（2020；Zbl 1476.03019） 全文： DOI程序
舒新峰；段振华 使用信号量扩展MSVL。 （英语） Zbl 1476.68183号 Dinh，Thang N.（编辑）等，《计算与组合学》。2016年8月2-4日，第22届国际会议，2016年COCOON，越南胡志明市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9797599-610（2016年）。MSC公司：68问题85 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Shu}和\textit{Z.Duan}，Lect。注释计算。科学。9797599--610（2016年；Zbl 1476.68183） 全文： DOI程序
段振华；卜康康；田聪；张楠 基于动态符号执行的模型检查MSVL程序。 （英语） Zbl 1465.68176号 徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 521-533 (2015).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人，Lect。注释计算。科学。9198、521--533（2015；Zbl 1465.68176） 全文： DOI程序