| |
| 2007 | ||
|---|---|---|
| 3 | EE | Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking CoRR abs/0710.4629: (2007) |
| 2005 | ||
| 2 | EE | Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking. DATE 2005: 686-687 |
| 1 | EE | Nachum Dershowitz, Ziyad Hanna, Jacob Katz: Bounded Model Checking with QBF. SAT 2005: 408-414 |
| 1 | Nachum Dershowitz | [1] [2] [3] |
| 2 | Ziyad Hanna | [1] [2] [3] |