| 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: 1000016608 |
| 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 | 572 - 575 |