Strukturorientierter Test von VLSI-Algorithmen
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1991 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 220191 |
| Erscheinungsvermerk | In: Entwerfen, Pruefen, Testen. Hrsg.: B. Becker. Saarbruecken 1991. S. 4. (Dagstuhl-Seminar-Report. 6.) |