提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/ijseke/ChiangD08非清，宗西AU-Dung，兰龙TI-数据流调度验证。JO-国际期刊软件。工程知识。工程师。VL-18为-6SP-737型EP-7582008年上半年//DO-10.1142/S0218194008003891UR-（欧元）https://doi.org/10.1142/S0218194008003891急诊室-