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 |