Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2008 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-424-43333-9 KITopen-ID: 1000016607 |
Erschienen in | 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008), Timisoara, Romania, 26 - 29 September 2008. Proceedings. Ed.: V. Negru |
Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
Seiten | 564 - 571 |