提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/cs-PL-0309003澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺澳大利亚-马泰利，毛里齐奥TI-模型检查线性逻辑规范JO-CoRR公司VL-cs。PL/03090032003年上半年//UR-（欧元）http://arxiv.org/abs/cs/0309003急诊室-