朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 有界情境微积分行动理论。 (英语) Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司:68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,Artif。智力。237172-203(2016;Zbl 1357.68227) 全文: 内政部 arXiv公司
M.K.瓦利耶夫。;M.I.Dekhtyar。;迪科夫斯基(A.Ya)。 由逻辑程序控制的代理系统:验证的复杂性。 (英语。俄文原件) Zbl 1187.68626号 程序。计算。柔和。 35,第5期,266-281(2009); 译自Programmirovanie 35,No.5(2009)。MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev}等人,《程序》。计算。柔和。35,第5号,266--281(2009;Zbl 1187.68626);译自Programmirovanie 35,No.5(2009) 全文: 内政部
杨晓晓;段振华 框架Tempura的操作语义。 (英语) Zbl 1170.68006号 J.日志。阿尔盖布。程序。 78,第1期,22-51(2008).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan},J.Log。阿尔盖布。程序。78,编号1,22--51(2008;Zbl 1170.68006) 全文: 内政部
克里斯·里德;蒂莫西·诺曼。 汉布林的动作状态语义的形式化描述。 (英语) 兹比尔1125.03006 J.菲洛斯。日志。 36,第4期,415-448(2007). 审核人:帕维尔·马特纳(普拉哈) MSC公司:03A05号 03B42型 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Reed}和textit{T.J.Norman},J.Philos。日志。36,第4号,415--448(2007;Zbl 1125.03006) 全文: 内政部
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;马尔斯·瓦利耶夫 论交互主体行为验证的复杂性。 (英语) Zbl 1096.68143号 Ann.纯粹应用。逻辑 141,第3期,336-362(2006).MSC公司:68T27型 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Ann.Pure Appl。逻辑141,No.3,336--362(2006;Zbl 1096.68143) 全文: 内政部
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈弗伦德;萨尔夫拉兹·库希德;洛瑞,迈克;科琳娜·帕萨雷努;格里高·罗什乌;塞·库什克;威廉·维瑟;华盛顿,里奇 结合测试用例生成和运行时验证。 (英语) Zbl 1080.68062号 西奥。计算。科学。 336,编号2-3,209-234(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}等人,Theor。计算。科学。336,编号2--3,209--234(2005;Zbl 1080.68062) 全文: 内政部
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;马尔斯·瓦利耶夫 关于检查多智能体系统行为的可行案例。 (英语) Zbl 1044.68144号 西奥。计算。科学。 303,第1期,63-81(2003).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Theor。计算。科学。303,编号1,63--81(2003;Zbl 1044.68144) 全文: 内政部
H.巴林格。;M·费希尔。;D.加巴伊。;戈夫(G.Gough)。;R.欧文斯。 MetateM:引言。 (英语) Zbl 0838.68014号 正式Asp。计算。 7,第5期,533-549(1995).MSC公司:68N17号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}等人,《正式Asp》。计算。7,第5号,533--549(1995;Zbl 0838.68014) 全文: 内政部