| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4244-3807-5 KITopen-ID: 1000015788 |
| Erschienen in | AICCSA 2009 - IEEE/ACS International Conference on Computer Systems and Applications, 10 - 13 May 2009, Rabat, Morocco |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 61 - 62 |