| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1990 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 177890 |
| Erscheinungsvermerk | Computer Theoretikum u. Praktikum f. Physiker 5 (1990) S. 15-42. |