Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 01.2003 |
Sprache | Englisch |
Identifikator | ISSN: 1571-0661 KITopen-ID: 1000171206 |
Erschienen in | Electronic notes in theoretical computer science |
Verlag | Elsevier |
Band | 85 |
Heft | 4 |
Seiten | 203-2017 |
Bemerkung zur Veröffentlichung | On-Site Proceedings of the Satellite Workshop of ICALP, Query date: 2024-05-17 09:23:39 |
Externe Relationen | Abstract/Volltext |