| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1990 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 177290 |
| Erscheinungsvermerk | In: CONPAR 90 - VAPP IV. Joint International Conference on Vector and Parallel Processing, Zuerich 1990. Proc. Ed.: H. Burkhart. Berlin 1990. S. 397-404. (Lecture notes in computer science. 457.) |