提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/apal/DekhtyarDV06非盟——迈克尔·德克蒂亚。AU-迪科夫斯基，亚历山大·贾。AU-Valiev，Mars K。TI-关于交互代理行为验证的复杂性。JO-Ann.纯苹果。日志。VL-141IS-3标准SP-336型EP-3622006年//DO-10.1016/J.APAL.2015年2月2日UR-（欧元）https://doi.org/10.1016/j.apal.2005.12.003急诊室-