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