![]() | ![]() |
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] |