提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/ijseke/BoudiafMB08非洲-布迪亚夫，努拉AU-法里德·莫哈蒂澳大利亚-巴德里，穆拉德TI-支持DIMA多代理模型的形式化验证：基于Maude模型检查的框架。JO-国际软组织。工程知识。工程师。VL-18IS-7SP-853型第875页2008年上半年//DO-10.1142/S021819400800391XUR-（欧元）https://doi.org/10.1142/S021819400800391X急诊室-