Language: English  |  中文 

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

Browsing by Author Xinyan Gao

Jump to: 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 中文
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
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
Showing results 1 to 1 of 1

Number of Online Users: 656     Total of Site Visit: 5731752