| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000015944 |
| Erschienen in | Mobil.TUM 2009 - International Scientific Conference on Mobility and Transport, 12 - 13 May 2009, Munich |