| |
| 2006 | ||
|---|---|---|
| 2 | EE | Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006) |
| 1998 | ||
| 1 | EE | Yonit Kesten, Amir Pnueli, Li-on Raviv: Algorithmic Verification of Linear Temporal Logic Specifications. ICALP 1998: 1-16 |
| 1 | Yonit Kesten | [1] [2] |
| 2 | Amir Pnueli | [1] [2] |
| 3 | Elad Shahar | [2] |