Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2006 |
Sprache | Englisch |
Identifikator | ISSN: 0304-3975 KITopen-ID: 1000016106 |
Erschienen in | Theoretical Computer Science |
Verlag | Elsevier |
Band | 368 |
Heft | 1-2 |
Seiten | 30 - 49 |