李兆鹏;张宇;陈一云 形状图逻辑和形状系统。 (英语) Zbl 1296.68100号 J.计算。科学。Technol公司。 28,第6期,1063-1084(2013).MSC公司:60年第68季度 68号30 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.-P.Li}等人,J.Compute。科学。Technol公司。28,第6号,1063--1084(2013;Zbl 1296.68100) 全文: DOI程序
黄绍斌;黄宏涛;陈志远;吕天阳;张涛 状态空间探索的懒惰切片。 (英语) Zbl 1280.68123号 J.计算。科学。Technol公司。 27,第4期,872-890(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.-B.Huang}等人,J.Compute。科学。Technol公司。27,第4号,872--890(2012;Zbl 1280.68123) 全文: DOI程序