@InCollection{zbMATH06098241，作者={拉宾诺维奇，亚历山大}，标题={有限状态和可定义获胜策略的合成}，BookTitle={IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15-17日，印度坎普尔}，国际标准图书编号={978-3-939897-13-2}，页码={359--370}，年份={2009}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSTTCS.2009.2332}，关键词={03B25,03D05,91A05,91A80}，URL={subs.emis.de/LIPIcs/frontdoor_4bbd.html}，zbMATH={6098241}，Zbl={1250.03015}}