@收款{zbMATH05945211，作者={Benedikt，Michael和Lenhardt，Rastislav和Worrell，James}，标题={模型检查和游戏中的双变量与线性时序逻辑}，BookTitle={CONCUR 2011---并发理论。第22届国际会议，CONCUR 2011，德国亚琛，2011年9月6-9日。诉讼程序}，国际标准图书编号={978-3-642-23216-9}，Pages＝{497-511}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3642-23217-6_33}，关键词={68Q60,03B44,03D05,68Q87,91A80}，zbMATH={5945211}，Zbl={1343.68151}}