周,从化;孙波;刘志峰 模型检查多智能体系统的抽象。 (英语) Zbl 1267.68145号 前面。计算。科学。中国 5,第1期,14-25(2011).MSC公司:第68季度第60季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}等人,前面。计算。科学。中国5,No.1,14--25(2011;Zbl 1267.68145) 全文: 内政部
杨璐;周朝晨;詹乃军;夏碧灿 通过计算机代数进行程序验证的最新进展。 (英语) Zbl 1267.68099号 前面。计算。科学。中国 4,第1期,1-16页(2010年).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人,前。计算。科学。中国4,No.1,1--16(2010;Zbl 1267.68099) 全文: 内政部