|
个人信息Personal Information
工程师
性别：男
毕业院校：中科院研究生院
学位：博士
所在单位：软件学院、国际信息与软件学院
电子邮箱：xinyangao@dlut.edu.cn
扫描关注
Combining symbolic simulation and groebner bases approach for constrained psl property verification
点击次数：
论文类型：会议论文
发表时间：2011-01-01
卷号：136
期号：LENN136
页面范围：377-384