Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2010 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000093070 |
Erschienen in | Proceedings of the 43rd Hawaii International Conference on System Sciences (HICSS 2010), Kauai, Hawaii, Jan. |
Verlag | - |