提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”今天ID-DBLP:日志/访问/PengBX19AU-彭聪澳大利亚-邦桑格，马塞洛·M·。AU-Xu，中卫TI-车辆排系统中的模型检查纵向控制。JO-IEEE接入VL-7SP-112015年EP-1120252019年上半年//DO-10.1109/访问.2019.2935423UR-（欧元）https://doi.org/10.109/ACCESS.2019.2935423急诊室-