| |
| 2005 | ||
|---|---|---|
| 2 | EE | Kairong Qian, Albert Nymeyer, Steven Susanto: Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE 2005: 275-289 |
| 1 | EE | Kairong Qian, Albert Nymeyer, Steven Susanto: Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA 2005: 290-304 |
| 1 | Albert Nymeyer | [1] [2] |
| 2 | Kairong Qian | [1] [2] |