A Strategy for Automatic Verification of Stabilization of Distributed Algorithms (Q2827449)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Strategy for Automatic Verification of Stabilization of Distributed Algorithms |
scientific article |
Statements
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms (English)
0 references
19 October 2016
0 references
