Variability abstraction and refinement for game-based lifted model checking of full CTL (Q6091321)
From MaRDI portal
scientific article; zbMATH DE number 7770528
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variability abstraction and refinement for game-based lifted model checking of full CTL |
scientific article; zbMATH DE number 7770528 |
Statements
Variability abstraction and refinement for game-based lifted model checking of full CTL (English)
0 references
24 November 2023
0 references
