FDR3 — A Modern Refinement Checker for CSP (Q5498738)
From MaRDI portal
scientific article; zbMATH DE number 6400462
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FDR3 — A Modern Refinement Checker for CSP |
scientific article; zbMATH DE number 6400462 |
Statements
FDR3 — A Modern Refinement Checker for CSP (English)
0 references
10 February 2015
0 references
