@InCollection{zbMATH05535628，作者={Vechev，Martin and Yahav，Eran and Yorsh，Greta}，标题={在有限可观测性下推断同步}，BookTitle={用于系统构建和分析的工具和算法。2009年第15届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日。诉讼}，国际标准图书编号={978-3-642-00767-5}，页码={139--154}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-00768-2_13}，关键词={68N30,68Q85}，zbMATH={5535628}，Zbl={1234.68082}}