Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2010 |
Sprache | Englisch |
Identifikator | ISSN: 0267-6192 KITopen-ID: 1000091264 |
Erschienen in | Computer systems science and engineering |
Verlag | Tech Science Press |
Band | 25 |
Heft | 6 |
Seiten | 439-452 |
Nachgewiesen in | Scopus Web of Science |