| |
| 1998 | ||
|---|---|---|
| 1 | EE | Sreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee: ATM switch design by high-level modeling, formal verification and high-level synthesi. ACM Trans. Design Autom. Electr. Syst. 3(4): 554-562 (1998) |
| 1 | Masahiro Fujita | [1] |
| 2 | Mike Tien-Chien Lee | [1] |
| 3 | Sreeranga P. Rajan | [1] |