摘要：合理的生日模型的符号模型检查
作者：Wilmari Bekker and Valentin Goranko
论文ID：0810.5516
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-10-31
PDF 下载： 英文版 中文版pdf翻译中