Proof labeling schemes (Q5177219)
From MaRDI portal
scientific article; zbMATH DE number 6413425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof labeling schemes |
scientific article; zbMATH DE number 6413425 |
Statements
Proof labeling schemes (English)
0 references
10 March 2015
0 references
distributed networks
0 references
proof labels
0 references
property verification
0 references
self stabilization
0 references
