Login
Language: English  |  中文 
 
 
 

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

Browsing by Author JinzhaoWu


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 2 of 2
Issue DateTitleAuthor(s)
2013Automata-Based Analysis of Stage Suspended Boom SystemsGuangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China; School of Information Science and Engineering, Lanzhou University, Lanzhou 730000, China; School of Civil Engineering and Mechanics, Lanzhou University, Lanzhou 730000, China; Anping He; JinzhaoWu; Shihan Yang; Yongquan Zhou; JuanWang
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 2 of 2

Number of Online Users: 2310     Total of Site Visit: 4532078