The Stable Revivals Model in CSP-Prover (Q5178981)
From MaRDI portal
scientific article; zbMATH DE number 6416538
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Stable Revivals Model in CSP-Prover |
scientific article; zbMATH DE number 6416538 |
Statements
The Stable Revivals Model in CSP-Prover (English)
0 references
18 March 2015
0 references
CSP
0 references
Isabelle/HOL
0 references
stable revivals model
0 references
