Hits:
Date of Publication:2011-01-01
Journal:第四届信息安全漏洞分析与风险评估大会
Page Number:566-576
Pre One:一种面向分布式无线网络的正则表达式匹配方法
Next One:一种定理证明与模型检测融合的软件验证加速方法