提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/chinaf/ZengLYZ17AU-曾，夏阿林，王AU-Yang、ZhengfengAU-Zeng、ZhenbingTI-通过保守近似验证非线性混合系统的线性不变生成。JO-科学。中国信息科学。阀瓣-60IS-3标准SP-391022017年上半年//做-10.1007/S11432-015-0980-7UR-（欧元）https://doi.org/10.1007/s11432-015-0980-7急诊室-