|
个人信息Personal Information
工程师
性别：男
毕业院校：中科院研究生院
学位：博士
所在单位：软件学院、国际信息与软件学院
电子邮箱：xinyangao@dlut.edu.cn
扫描关注
Applying Wus Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking
点击次数：
论文类型：期刊论文
发表时间：2012-01-01
发表刊物：Journal of Convergence Information Technology
卷号：7
期号：4
页面范围：272-279