提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/formats/LiMFS018AU-李美伦非盟-莫萨德，彼得·纳齐尔澳大利亚-马丁·范策勒AU-She、Zhikun阿雪、白TI-自治动力系统可达集的安全过逼近和欠逼近。BT-时间系统的形式化建模与分析-第16届国际会议，FORMATS 2018，中国北京，2018年9月4-6日，会议记录SP-252型欧洲药典-2702018年上半年//DO-10.1007/978-3-030-00151-3_15UR-（欧元）https://doi.org/10.1007/978-3-030-00151-3_15急诊室-