| |
| 2005 | ||
|---|---|---|
| 1 | EE | Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck: Formal Verification of Backward Compatibility of Microcode. CAV 2005: 185-198 |
| 1 | Tamarah Arons | [1] |
| 2 | Elad Elster | [1] |
| 3 | Limor Fix | [1] |
| 4 | Sela Mador-Haim | [1] |
| 5 | Jonathan Shalev | [1] |
| 6 | Eli Singerman | [1] |
| 7 | Andreas Tiemeyer | [1] |
| 8 | Moshe Y. Vardi | [1] |
| 9 | Lenore D. Zuck | [1] |