@InCollection{zbMATH06203489，作者={Madhusudan，P.和Nam，Wonhong和Alur，Rajeev}，标题={解决游戏的符号计算技术}，BookTitle={BMC'2003。第一届有界模型检验国际研讨会论文集，美国科罗拉多州博尔德，2003年7月13日}，Pages＝{578-592}，年份={2003}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68Q60}，URL={www.sciencedirect.com/science/article/pii/S1571066105825447}，zbMATH={6203489}，Zbl={1271.68144}}