@第{zbMATH05057727条，作者={Kesten、Yonit和Pnueli、Amir和Raviv、Li-On和Shahar、Elad}，标题={具有强公平性的模型检查}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={28}，数字={1}，页码={57--84}，年份={2006}，语言={英语}，DOI={10.1007/s10703-006-4342-y}，关键词={68Q60}，zbMATH={5057727}，Zbl={1100.68066}}