@InCollection｛zbMATH02231549，作者={Baldoni、Matteo和Baroglio、Cristina和Martelli、Alberto和Patti、Viviana和Schifanella、Claudio}，标题={验证基于逻辑的通信代理的协议一致性}，BookTitle={多智能体系统中的计算逻辑。第五届国际研讨会，CLIMA V，葡萄牙里斯本，2004年9月29日至30日。修改选定和邀请的论文。}，国际标准图书编号={3-540-28060-X}，页码={196--212}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11533092}，关键词={68T27}，zbMATH={2231549}，Zbl={1081.68679}}