An efficient representation for formal synthesis
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1997 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA1262973 KITopen-ID: 126297 |
| Erschienen in | Proceedings of the 10th International Symposium on System Synthesis - ISSS '97, September 17-19, 1997, Antwerp, Belgium |
| Verlag | IEEE Computer Society |
| Seiten | 9 - 15 |