@收款{zbMATH05851853，作者={Gotmanov，Alexander and Chatterjee，Satrajit and Kishinevsky，Michael}，标题={验证通信结构的死锁自由}，BookTitle={验证、模型检查和抽象解释。第12届国际会议，VMCAI 2011，奥斯汀，德克萨斯州，美国，2011年1月23日至25日。诉讼}，ISBN＝{978-3-642-18274-7}，Pages＝{214-231}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-18275-4_16}，关键词={68Q60}，zbMATH={5851853}，Zbl={1317.68115}}