- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131 |
| 2 | | Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212 |
| 2006 | ||
| 1 |  | Kathrin D. Scheidemann: Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems. SPLC 2006: 75-84 |
| 1 | Alexander Gruler | [2] [3] |
| 2 | Martin Leucker | [2] [3] |