@收款{zbMATH05695380，作者={Kesten、Yonit和Piterman、Nir和Pnueli、Amir}，标题={弥合公平模拟和跟踪包含之间的差距。}，BookTitle={计算机辅助验证。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼}，国际标准图书编号={3-540-40524-0}，页码={381--393}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b11831}，关键词={68Q60,03D05,68Q45}，zbMATH＝{5695380}，Zbl={1278.68178}}