| |
| 2003 | ||
|---|---|---|
| 1 | EE | Mauricio Ayala-Rincón, R. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein: Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. FDL 2003: 492-504 |
| 1 | Mauricio Ayala-Rincón | [1] |
| 2 | Reiner W. Hartenstein | [1] |
| 3 | Carlos H. Llanos | [1] |