![]() |
| 1998 | ||
|---|---|---|
| 2 | EE | Arun Chandra, Li-C. Wang, Magdy S. Abadir: Practical Considerations in Formal Equivalence Checking of PowerPC(tm) Microprocessors. Great Lakes Symposium on VLSI 1998: 362-367 |
| 1995 | ||
| 1 | Arun Chandra, C.-L. Wu: Performability Modeling of Static and Dynamic Interconnection Networks. Parallel and Distributed Computing and Systems 1995: 398-402 | |
| 1 | Magdy S. Abadir | [2] |
| 2 | Li-C. Wang | [2] |
| 3 | C.-L. Wu | [1] |