@收款{zbMATH07105347，作者={Schupp，Stefan和{'A}brah{'A}m，Erika}，Title={混合系统可达性分析的有效动态误差减少}，BookTitle={系统构建和分析的工具和算法。2018年第24届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第二部分}，国际标准图书编号={978-3-319-89962-6；978-3-3169-89963-3}，页码={287--302}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-89963-3_17}，关键词={68Q60,68Q45,93C30}，zbMATH＝{7105347}，Zbl={1423.68290}}