Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Published 2020

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Published 2020

Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Published 2017

Abstraction Refinement for Large Scale Model Checking

by Wang, Chao, Hachtel, Gary D., Somenzi, Fabio
Published 2006

Reconfigurable and Adaptive Computing

by Nedjah, Nadia, Wang, Chao
Published 2018

Theory of Translation Closedness for Time Scales : With Applications in Translation Functions and Dynamic Equations

by Wang, Chao, Agarwal, Ravi P., O' Regan, Donal, Sakthivel, Rathinasamy
Published 2020

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Published 2018

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

by Zhang, Sherong, Wang, Xiaohua, Wang, Chao
Published 2023

Combined Measure and Shift Invariance Theory of Time Scales and Applications

by Wang, Chao, Agarwal, Ravi P.
Published 2022

Applications of Nanobiotechnology in Pharmacology

by Tao, Wei
Published 2020