Search Results - "Linearizability checking" :: FRELIP Discovery

Search alternatives:

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

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

Published 2021
Subjects: “…Linearizability checking…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in: