Showing 1 - 2 results of 2 for search 'YANXiao-lang(严晓浪)', query time: 0.02s
Refine Results
-
1
-
2
A formal verification method: model checking(一种形式化验证方法:模型检验) by YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)
Published 2006-07-01
Article