提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ictac/MosaadFX16非盟-莫萨德，彼得·纳齐尔澳大利亚-马丁·范策勒阿雪、白TI-延迟微分方程的时序逻辑验证。BT——计算理论——2016年ICTAC——第13届国际学术讨论会，2016年10月24日至31日，中华民国台湾台北，会议记录SP-405型EP-4212016年上半年//DO-2007年10月10日/978-3-319-46750-4_23UR-（欧元）https://doi.org/10.1007/978-3-319-46750-4_23急诊室-