| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2011 |
| Sprache | Englisch |
| Identifikator | ISSN: 0018-9162, 1558-0814 KITopen-ID: 1000091327 |
| Erschienen in | Computer |
| Verlag | IEEE Computer Society |
| Band | 44 |
| Heft | 10 |
| Seiten | 88 - 90 |
| Vorab online veröffentlicht am | 06.10.2011 |
| Nachgewiesen in | Web of Science OpenAlex Dimensions Scopus |