Synthese von Register-Transfer-Strukturen aus Verhaltensbeschreibungen
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 290492 |
| Erscheinungsvermerk | Informatik-Spektrum 15 (1992) S. 5-22. |