Formal synthesis of circuits with a simple handshake protocol
| 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 | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 294995 |
| Erscheinungsvermerk | In: Proceedings of the 8th International Conference on VLSI Design, VLSI Design '95, New Delhi, India 1995. Ed.: M.E. Kavanaugh. Los Alamitos, Calif. 1995. S. 255-259. |