1987
On proving register atomicity
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
| Organisation | Quantum Computing and Advanced System Research |
|
Awerbuch, B., Kirousis, L. M., Kranakis, E.& Vitányi, P. (1987). On proving register atomicity. In Department of Computer Science [CS] (R 8707). CWI. |
|