Login
Language: English  |  中文 
 
 
 

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

Browsing by Author YANG Shi-han


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)
2009-07On Invariance of Dynamic CTL Model Checking in Iterative Design of Moore Machine-based SystemSchool of Optoelectronic Information, University of Electronic Science and Technology of China Chengdu 610054; Chengdu Institute of Computer Applications, Chinese Academy of Sciences Chengdu 610041; LI Shao-rong; YANG Shi-han; WU Jin-zhao
Showing results 1 to 1 of 1

Number of Online Users: 370     Total of Site Visit: 12488297