Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols (Q3030248)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols |
scientific article |
Statements
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols (English)
0 references
1987
0 references
verification
0 references
communication protocols
0 references
formal description techniques
0 references
software environment
0 references
