| |
| 2006 | ||
|---|---|---|
| 1 | EE | Chai Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006) |
| 1 | Gary D. Hachtel | [1] |
| 2 | HoonSang Jin | [1] |
| 3 | Bing Li | [1] |
| 4 | Fabio Somenzi | [1] |