| 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. |