| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Kryptographie und Sicherheit (IKS) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2006 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-540-39728-1 KITopen-ID: 1000029944 |
| Erschienen in | Proceeding AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation |
| Verlag | Springer-Verlag |
| Seiten | 94-105 |