提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ppdp/BozzanoD02澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺TI-线性逻辑中的自动协议验证。BT-2002年10月6日至8日在美国宾夕法尼亚州匹兹堡举行的第四届ACM SIGPLAN国际声明性编程原则和实践会议记录（隶属于PLI 2002）SP-38型EP-492002年//DO-10.1145/571157.571162UR-（欧元）https://doi.org/10.1145/571157.571162急诊室-