@InCollection{zbMATH06814301，作者={T{\'o}th，Tam{\'a}s和Majzik，Istv{\'a}n}，Title={使用插值对时间自动机进行惰性可达性检查}，BookTitle={时间系统的正式建模和分析。第15届国际会议，2017年FORMATS，德国柏林，2017年9月5-7日。诉讼}，国际标准图书编号={978-3-319-65764-6；978-3-3169-65765-3}，页码={264--280}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-65765-3_15}，关键词={68Q60,68Q45}，zbMATH={6814301}，Zbl={1494.68174}}