Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2009 |
Sprache | Deutsch |
Identifikator | ISSN: 0932-4585 KITopen-ID: 1000015848 |
Erschienen in | gi - Geldinstitute |
Verlag | Holzmann |
Heft | 3 |
Seiten | 32 - 33 |