Toggle navigation
Home
Master Journal List
Contact
Suggest a Journal
Articles by Long Yuejin (1)
Conditioning for State Space Reduction in Program Model Checking
Long Yuejin
and
Xiao Jianyu
Information Technology Journal 8 ( 7 ): 990 - 997 , 2009
Do you have a suggestion for journals
Suggest Journal