Statistics
Publications
2
Citations
37
H-Index
2
Active since
2006
Affiliations
Lishan is an author at Anhui University of Traditional Chinese Medicine specializing in formal verification, verification, and formal methods.
Publications per year
2006–2019
2
2
Modeling and verifying Web services driven by requirements： An ontologybased approach
Hou, Lishan, Jin Jin et al. · 中国科学：F辑英文版 · 2006 · 17 citations
Web Service Specification, Engineering, Web Service Modeling +12
1–2 of 2