| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2011 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-4345-1 KITopen-ID: 1000026371 |
| Erschienen in | VAST 2011 - First International Workshop on Variability-intensive Systems Testing, Validation, and Verification, Mar 21, 2011 - Mar 21, 2011, Berlin, Germany. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011, Berlin, Germany, 21-25 March 2011 (ICSTW 2011), Proceedings |
| Verlag | IEEE Computer Society |
| Seiten | 294 - 297 |
| Nachgewiesen in | OpenAlex Dimensions |