Model Checking Simulation Rules for Linearizability (Q4571132)

From MaRDI portal
scientific article; zbMATH DE number 6899212
Language Label Description Also known as
English
Model Checking Simulation Rules for Linearizability
scientific article; zbMATH DE number 6899212

    Statements