Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model (Q2744791)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references