| |
| 2006 | ||
|---|---|---|
| 1 | EE | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref: Supporting SAT based BMC on Finite Path Models. Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006) |
| 1 | Daniel Geist | [1] |
| 2 | Yoad Lustig | [1] |
| 3 | Ishai Rabinovitz | [1] |
| 4 | Ohad Shacham | [1] |
| 5 | Rachel Tzoref | [1] |