Quo Vadis Explicit-State Model Checking (Q5175096)
From MaRDI portal
scientific article; zbMATH DE number 6406427
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quo Vadis Explicit-State Model Checking |
scientific article; zbMATH DE number 6406427 |
Statements
Quo Vadis Explicit-State Model Checking (English)
0 references
20 February 2015
0 references
