Model checking linear logic specifications

• 期刊名称Theory and Practice of Logic Programming
• 作者BOZZANO, MARCO; DELZANNO, GIORGIO; MARTELLI, MAURIZIO
• 卷第4卷
• 印刷ISSN1471-0684
• 电子ISSN1475-3081
• 文件大小363.62KB
• 发表时间2004-9
• DOI10.1017/s1471068404002066
• 页码573-619