大连理工大学主页平台管理系统李大奎--中文主页-- Combining symbolic simulation and groebner bases approach for constrained psl property verification

李大奎

访问量：

开通时间：..

最后更新时间：..

当前位置: 中文主页 >> 科学研究 >> 论文成果

Combining symbolic simulation and groebner bases approach for constrained psl property verification

点击次数：

论文类型：会议论文

发表时间：2011-01-01

卷号：136

期号：LENN136

页面范围：377-384

上一条：实训教学中项目驱动教学模式的实践探索

下一条：Embedded microscope vision based mechanical platform for led wafer automatic inspection