| |
| 2009 | ||
|---|---|---|
| 1 | EE | Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336 |
| 1 | Radu Grosu | [1] |
| 2 | Xiaowan Huang | [1] |
| 3 | Karem Sakallah | [1] |
| 4 | Scott A. Smolka | [1] |
| 5 | Zijiang Yang | [1] |