陈清亮;苏凯乐;阿卜杜勒·萨塔尔;罗向玉;陈爱祥 BDI代理的一阶联盟逻辑。 (英语) Zbl 1403.68257号 前面。计算。科学。 10,第2期,233-245(2016).MSC公司:68T27型 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Chen}等人,前。计算。科学。10,第2号,233--245(2016;Zbl 1403.68257) 全文: 内政部
司元杰;孙骏;刘,杨;董金松;庞、军;张绍杰;杨晓虎 使用PAT进行公平假设的模型检查。 (英语) Zbl 1425.68269号 前面。计算。科学。 8,第1期,第1-16页(2014年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Si}等人,前。计算。科学。8,第1号,1--16(2014;Zbl 1425.68269) 全文: 内政部 链接
萨瓦斯·科努尔 用于指定和验证实时系统的时序逻辑调查。 (英语) Zbl 1425.68258号 前面。计算。科学。 7,第3期,370-403(2013).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},前面。计算。科学。7,第3号,370--403(2013;Zbl 1425.68258) 全文: 内政部