Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 1999 |
Sprache | Englisch |
Identifikator | KITopen-ID: 322199 |
Erscheinungsvermerk | Theor. comput. sci. 215 (1999) H. 1/2 S. 137-168. |