提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/adhs/MitschSTPZJWZ18AU-米奇，斯特凡澳大利亚-安德鲁·索戈孔AU-Tan、Yong Kiam安德烈·普拉泽AU-Zhao、HengjunAU-Jin、XiangyuAU-王淑玲AU-Zhan、NaijunTI-ARCH-COMP18类别报告：混合系统定理证明。BT-建筑18。第五届连续和混合系统应用验证国际研讨会，ADHS建筑2018年7月13日，英国牛津SP-110型EP-1272018年上半年//DO-10.29007/VJH3UR-（欧元）https://doi.org/10.29007/vjh3急诊室-