CWChao Wang
Chao Wang
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Chao Wang has a total of 2 co-authors. Here are the top co-authors by number of shared publications:
- Bing Li
University of Colorado at Boulder
1 shared publication - Fabio Somenzi
University of Colorado Boulder, USA
1 shared publication
Latest Publications
- 24 February 2005
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 7 (2) , 143-155
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure
- 24 February 2005
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 7 (2) , 143-155
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure