Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2009 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-642-00453-7 ISSN: 0302-9743 KITopen-ID: 1000015938 |
Erschienen in | Architecture of computing systems - ARCS 2009. 22nd international conference, Delft, The Netherlands, March 10 - 13, 2009. Proceedings. Ed.: M. Berekovic |
Verlag | Springer-Verlag |
Seiten | 135 - 145 |
Serie | Lecture Notes on Computer Science ; 5455 |