提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/formats/XueMFCLZ17阿雪、白非盟-莫萨德，彼得·纳齐尔澳大利亚-马丁·范策勒AU-Chen、MingshuaiAU-Li，杨佳AU-Zhan、Naijun时滞微分方程可达集的TI-安全过逼近和欠逼近。BT-时间系统的形式化建模与分析-第15届国际会议，2017年9月5日至7日，德国柏林，FORMATS 2017，会议记录SP-281型第299页2017年上半年//DO-2007年10月10日/978-3-319-65765-3_16UR-（欧元）https://doi.org/10.1007/978-3-319-65765-3_16急诊室-