@收款{zbMATH06596665，作者={Jensen，Peter Gj{\o}l和Larsen，Kim Guldstrand和Srba，Ji{\v{r}}{\'{i}}}，Title={基于离散化的时间弧{Petri}网络游戏实时策略综合}，BookTitle={模型检查软件。2016年SPIN第23届国际研讨会，与ETAPS 2016合办，荷兰埃因霍温，2016年4月7-8日。诉讼}，国际标准图书编号={978-3-319-32581-1；978-3-3169-32582-8}，页码={129--146}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-32582-8_9}，关键词={68Q85,68Q60}，zbMATH={6596665}，Zbl={1354.68196}}