Synthesizing circuits from behavioural specifications
| 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 | 1989 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 77789 |
| Erscheinungsvermerk | IEEE trans. on computer-aided design 8 (1989) S. 171-180. |