@第{zbMATH05349281条，作者={Bensalem、Saddek和Peled、Doron和Qu、Hongyang和Tripakis、Stavros}，标题={并发定时系统的路径条件自动生成}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={404}，数字={3}，页码={275--292}，年份={2008}，语言={英语}，DOI={10.1016/j.tcs.2008.03.012}，关键词={68Q85,68Q45}，zbMATH={5349281}，Zbl=｛1293.68201｝}