Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502)
From MaRDI portal
scientific article; zbMATH DE number 6162141
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol |
scientific article; zbMATH DE number 6162141 |
Statements
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (English)
0 references
10 May 2013
0 references
