@InCollection｛zbMATH01973987，作者={Audemard，G.和Cimatti，A.和Kornilowicz，A.和Sebastiani，R.}，标题={定时系统的有界模型检查}，BookTitle={网络和分布式系统的形式化技术--FORTE 2002。第22届IFIP工作组6。1国际会议，美国得克萨斯州休斯敦，2002年11月11日至14日。诉讼}，国际标准图书编号={3-540-00141-7}，页码={243--259}，年份={2002}，出版商＝{柏林：施普林格}，语言={英语}，关键词={68Q60,68Q45}，URL={link.springer.de/link/service/series/0558/bibs/2529/25290243.htm}，zbMATH={1973987}，Zbl={1037.68549}}