@收款{zbMATH07120139，作者={Bogomolov，Sergiy and Forets，Marcelo and Frehse，Goran and Potomkin，Kostiantyn and Schilling，Christian}，Title={{JuliaReach}：基于集合的可达性的工具箱}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={39--44}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3311804}，关键词={68Q45,68Q60,93C30}，zbMATH={7120139}}