Statistics
Publications
3
Citations
47
H-Index
3
Active since
2000
Affiliations
University of Kaiserslautern(Current)
Xiying Weng is an author at University of Kaiserslautern specializing in formal methods, systems modeling, and model checking.
Publications per year
2000–2002
3
3
1–3 of 3