| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Prozessrechentechnik, Automation und Robotik (IPR) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4244-5765-6 KITopen-ID: 1000031458 |
| Erschienen in | 15th Asia and South Pacific Design Automation Conference (ASP-DAC), Taipei, Taiwan, Jan. 18-21, 2010 |
| Verlag | IEEE Computer Society |
| Seiten | 885 - 890 |