Statistics
Publications
1
Citations
70
H-Index
1
Active since
2014
Affiliations
Xianjin Fu is an author at National University of Defense Technology specializing in computer science, computing, and theory of computation.
Publications per year
2014–2014
1
1
Counterexample-Preserving Reduction for Symbolic Model Checking
Wanwei Liu, Xianjin Fu, Ji Wang et al. · Journal of Applied Mathematics · 2014 · 70 citations · Full text
1–1 of 1