Formal Analysis of Memory Contention in a Multiprocessor System (Q5166668)
From MaRDI portal
scientific article; zbMATH DE number 6314097
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal Analysis of Memory Contention in a Multiprocessor System |
scientific article; zbMATH DE number 6314097 |
Statements
Formal Analysis of Memory Contention in a Multiprocessor System (English)
0 references
8 July 2014
0 references