登录
语言: English  |  中文 
 
 
 

广西民族大学机构知识库 >

浏览 按 作者 Dakui Li


跳转到: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中文
或者输入前几位字符:   
排序方式: 升/降序: 每页显示条目: 显示作者数:
显示条目1-1条,共有1条。
发布日期题名作者
2013Wu’s Characteristic Set Method for SystemVerilog Assertions VerificationSchool of Software of Dalian University of Technology, Dalian 116620, China; School of Computer and Information Technology, Beijing Jiaotong University, Beijing 10044, China; School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China; 4Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities,Nanning 530006, China; Xinyan Gao; Ning Zhou; JinzhaoWu; Dakui Li
显示条目1-1条,共有1条。

在线人数:419     站点总访问量:10015321