Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2005 |
Sprache | Englisch |
Identifikator | ISSN: 0175-1336 KITopen-ID: 1000016119 |
Erschienen in | LDV-Forum |
Band | 20 |
Heft | 1 |
Seiten | 87 - 112 |