Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2010 |
Sprache | Englisch |
Identifikator | ISSN: 1556-4665, 1556-4703 KITopen-ID: 1000091256 |
Erschienen in | ACM transactions on autonomous and adaptive systems |
Verlag | Association for Computing Machinery (ACM) |
Band | 5 |
Heft | 3 |
Seiten | Art. Nr.: 10 |
Nachgewiesen in | Dimensions Web of Science Scopus |
Globale Ziele für nachhaltige Entwicklung |