| 2000 |
|---|
| 4 | EE | Jae-Young Jang,
In-Ho Moon,
Gary D. Hachtel:
Iterative Abstraction-Based CTL Model Checking.
DATE 2000: 502- |
| 1998 |
|---|
| 3 | EE | In-Ho Moon,
Jae-Young Jang,
Gary D. Hachtel,
Fabio Somenzi,
Jun Yuan,
Carl Pixley:
Approximate reachability don't cares for CTL model checking.
ICCAD 1998: 351-358 |
| 1997 |
|---|
| 2 | EE | Jae-Young Jang,
Shaz Qadeer,
Matt Kaufmann,
Carl Pixley:
Formal Verification of FIRE: A Case Study.
DAC 1997: 173-177 |
| 1996 |
|---|
| 1 | EE | Woohyuk Lee,
Abelardo Pardo,
Jae-Young Jang,
Gary D. Hachtel,
Fabio Somenzi:
Tearing based automatic abstraction for CTL model checking.
ICCAD 1996: 76-81 |
