Showing 1 - 2 results of 2 for search 'YANXiao-lang(严晓浪)', सवाल का समय: 0.02सेकंड
परिणाम को परिष्कृत करें
-
1
-
2
A formal verification method: model checking(一种形式化验证方法:模型检验) द्वारा YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)
प्रकाशित 2006-07-01
लेख