| |
| 2007 | ||
|---|---|---|
| 1 | EE | Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309 |
| 1 | Roy Armoni | [1] |
| 2 | Limor Fix | [1] |
| 3 | Ranan Fraer | [1] |
| 4 | Tamir Heyman | [1] |
| 5 | Moshe Y. Vardi | [1] |
| 6 | Yael Zbar | [1] |