FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-7803-9362-7 KITopen-ID: 1000014213 |
| Erschienen in | FPL 2005 - International Conference on Field Programmable Logic and Applications, 24 - 26 Aug. 2005, Tampere, Finland. Ed.: T. Rissa |
| Verlag | IEEE Operations Center |
| Seiten | 25 - 30 |