| Autorinnen und Autoren | Christian Kröher, Moritz Flöter, Lea Kristin Gerling und Klaus Schmid |
| Titel | Incremental Software Product Line Verification - A Performance Analysis with Dead Variable Code |
| Publikationsart | Konferenz |
| Herausgebende Einrichtung / Verlag | ACM |
| Titel des Buches | 26th ACM International Systems and Software Product Line Conference |
| Band | A |
| Jahr | 2022 |
| Seiten | 1 |
| Digitale Objekt-ID (DOI) | DOI: 10.1145/3546932.3547013 |
| Dateien / Dokumente | KroeherFloeterGerling+22 |