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: 1000015819 |
Erschienen in | Geldinstitute |
Verlag | Holzmann |
Heft | 5 |