Du Toit, N. C., & Inggs, C. P. (2021). Concrete and symbolic linearisability checking of non-blocking concurrent data structures. Stellenbosch : Stellenbosch University.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Du Toit, Nicole Cathryn, and Cornelia P. Inggs. Concrete and Symbolic Linearisability Checking of Non-blocking Concurrent Data Structures. Stellenbosch : Stellenbosch University, 2021.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Du Toit, Nicole Cathryn, and Cornelia P. Inggs. Concrete and Symbolic Linearisability Checking of Non-blocking Concurrent Data Structures. Stellenbosch : Stellenbosch University, 2021.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.