Search Results - "Linearisability checking" :: FRELIP Discovery

Search alternatives:

"Linearisability checking" »
- "Linearisability cracking" (Expand Search)

Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

Published 2021
Subjects: “…Linearisability checking…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in: