On Verifying Fault Tolerance of Distributed Protocols (Q5458335)
From MaRDI portal
scientific article; zbMATH DE number 5262377
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Verifying Fault Tolerance of Distributed Protocols |
scientific article; zbMATH DE number 5262377 |
Statements
On Verifying Fault Tolerance of Distributed Protocols (English)
0 references
11 April 2008
0 references
0 references
