@第{zbMATH02066282条，作者={Robbana，Riadh}，标题={使用近似方法验证持续时间系统}，FJournal={计算机科学与技术杂志}，期刊={J.计算机科学技术}，ISSN={1000-9000}，体积={18}，数字={2}，页码={153--162}，年份={2003}，语言={英语}，DOI={10.1007/BF02948880}，关键词={68Q60,68R10}，zbMATH={2066282}，Zbl={1089.68565}}