@InCollection｛zbMATH05067707，作者={佐丹奴、劳拉和马泰利、阿尔贝托和施温德、卡米拉}，Title={在时序动作逻辑中通过模型检查验证通信代理}，BookTitle={人工智能中的逻辑。第九届欧洲会议，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。会议记录。}，国际标准图书编号={3-540-23242-7}，Pages={57-69}，年份={2004}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b100483}，关键词={68T27,68Q60}，zbMATH={5067707}，Zbl={1111.68677}}