Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2011 |
Sprache | Englisch |
Identifikator | ISSN: 0167-6423 KITopen-ID: 1000028135 |
Erschienen in | Science of Computer Programming |
Verlag | Elsevier |
Band | 76 |
Heft | 10 |
Seiten | 861-876 |
Nachgewiesen in | Dimensions Web of Science Scopus |