Temporal Verification of Fault-Tolerant Protocols (Q3623816)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Temporal Verification of Fault-Tolerant Protocols |
scientific article |
Statements
Temporal Verification of Fault-Tolerant Protocols (English)
0 references
24 April 2009
0 references