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