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. Department of Computer Science [CS]. CWI. |