@InCollection{zbMATH05677767，作者={佐丹奴、劳拉和马泰利、阿尔贝托和施温德、卡米拉}，Title={在时序动作逻辑中指定和验证通信代理的系统}，BookTitle={AI*IA 2003:人工智能进展。意大利人工智能协会第八届大会，意大利比萨，2003年9月23日至26日。诉讼}，ISBN={3-540-20119-X}，页码={262--274}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b13658}，关键词={68T42,03B44,68T27}，zbMATH={5677767}，Zbl={1274.68580}}