@InCollection｛zbMATH06471303，作者={Al-Bataineh，Omar和Reynolds，Mark和French，Tim}，Title={使用差分绑定矩阵求系统的最佳和最坏情况执行时间}，BookTitle={定时系统的正式建模和分析。第12届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8日至10日。诉讼}，国际标准图书编号={978-3-319-10511-6}，页码={38--52}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-319-10512-3_4}，关键词={68M20,68P05,68Q45,68Q60,68T20}，zbMATH={6471303}，Zbl={1448.68177}}