@在集合{zbMATH06261531中，作者={Albert，Elvira and Arenas，Puri and G{\'o}mez-Zamalloa，Miguel}，Title={在{CLP}}中测试并发对象，BookTitle={第28届逻辑编程国际会议（ICLP 2012）的技术交流，2012年9月4-8日，匈牙利布达佩斯。论文基于会议上的演示。}，国际标准图书编号={978-3-939897-43-9}，页码={98--108}，年份={2012}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/LIPIcs.ICLP.2012.98}，关键词={68N30,68N17,68N19}，zbMATH={6261531}，Zbl={1281.68074}}