| |
| 2001 | ||
|---|---|---|
| 2 | EE | Per Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464 |
| 2000 | ||
| 1 | Abdel Mokkedem, Tim Leonard: Formal Verification of the Alpha 21364 Network Protocol. TPHOLs 2000: 443-461 | |
| 1 | Per Bjesse | [2] |
| 2 | Abdel Mokkedem | [1] [2] |