提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/aiedam/SinzKK03AU-Sinz，卡斯滕澳大利亚-凯撒，安德烈亚斯AU-Küchlin，沃尔夫冈TI-汽车产品配置数据验证的形式化方法。JO-工艺。智力。工程设计。分析。制造商。VL-17IS-1标准SP-75第97页2003年上半年//DO-10.1017/0890060403171065UR-（欧元）https://doi.org/10.1017/S0890060403171065急诊室-