宁、新亚;张楠;段振华;田聪 基于LNFG的PPTL规范挖掘。 (英语) 兹伯利07605947 西奥。计算。科学。 937, 85-95 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Ning}等人,Theor。计算。科学。937,85-95(2022;Zbl 07605947) 全文: 内政部
张楠;于斌;田聪;段振华;袁小帅 程序的时序逻辑规范挖掘。 (英语) Zbl 1477.68168号 西奥。计算。科学。 857, 29-42 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。857,29-42(2021;Zbl 1477.68168) 全文: 内政部