@收款{zbMATH06294880，作者={Kattenbelt、Mark和Kwiatkowska、Marta和Norman、Gethin和Parker、David}，标题={PRISM}}中基于游戏的概率谓词抽象，BookTitle={2008年3月29日至30日在匈牙利布达佩斯举行的第六届编程语言定量方面研讨会（QAPL 2008）会议记录}，页码={5--21}，年份={2008}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2008.11.016}，关键词={68Q60,68Q87}，zbMATH={6294880}，Zbl={1286.68316}}