李大奎
开通时间：..
最后更新时间：..
点击次数：
论文类型：期刊论文
发表时间：2011-01-01
发表刊物：大连理工大学学报
收录刊物：PKU、ISTIC
卷号：32
期号：z2
页面范围：140-141
上一条：Combining symbolic simulation and Groebner bases approach for constrained PSL property verification
下一条：Combining symbolic simulation and groebner bases approach for constrained psl property verification
