Variability-Specific Abstraction Refinement for Family-Based Model Checking (Q5215914)
From MaRDI portal
scientific article; zbMATH DE number 7167171
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variability-Specific Abstraction Refinement for Family-Based Model Checking |
scientific article; zbMATH DE number 7167171 |
Statements
Variability-Specific Abstraction Refinement for Family-Based Model Checking (English)
0 references
13 February 2020
0 references
