| |
| 2009 | ||
|---|---|---|
| 2 | EE | Rotem Oshman: An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. VMCAI 2009: 275-289 |
| 2007 | ||
| 1 | EE | Rotem Oshman, Orna Grumberg: A New Approach to Bounded Model Checking for Branching Time Logics. ATVA 2007: 410-424 |
| 1 | Orna Grumberg | [1] |