Chao Wang

title ISBN-13year of publica-
tion
other author(s)
Abstraction Refinement for Large Scale Model Checking 978-0-387-34155-22006Gary D. Hachtel · Fabio Somenzi
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
978-3-030-01089-82018Shuvendu K. Lahiri
Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
978-3-319-68209-92017Xuanhua Shi · Hong An · Mahmut Kandemir · Hai Jin
Reconfigurable and Adaptive Computing 978-1-138-89419-82018
Supramolecular Amphiphiles 978-1-78262-542-12017Charl Faul · David A. Fulton · Jonathan Steed · Nobuo Kimizuka · Suhrit Ghosh · Xi Zhang

C. W. · C. Wang · Chao-Chen Wang · Chao-cheng Wang · Chao-Fu Wang · Chao-Wei Wang · Chao-Yang Wang · Chao-Ying Wang · Chao-Yu Wang · Dr. Chao Wang · Dr Xin-Chao Wang · Li-Chao Wang · Peter Chen-Chao Wang · Professor Chao-Yang Wang · Wang Chao · Xin Chao Wang · Yu-Chao Wang

Routledge · Royal Society of Chemistry · Springer

 

Chao-Wei Wang