提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/FengCZF019AU-Feng，盛华AU-Chen、MingshuaiAU-Zhan、Naijun澳大利亚-马丁·范策勒阿雪、白TI-动力系统中的控制时滞-时滞微分方程的无界验证。BT-计算机辅助验证-第31届国际会议，2019年7月15日至18日，美国纽约州纽约市CAV 2019，会议记录，第一部分SP-650型EP-6692019年上半年//DO-2007年10月10日/978-3-030-25540-4_37UR-（欧元）https://doi.org/10.1007/978-3-030-25540-4_37急诊室-