Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
From MaRDI portal
Publication:2744791
DOI10.1002/cpe.610zbMath0971.68531MaRDI QIDQ2744791
Publication date: 6 November 2001
Published in: Concurrency and Computation: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/compensation-methods-to-support-cooperative-applications-a-case-study-in-automated-verification-of-schema-requirements-for-an-advanced-transaction-model(9ca452e0-7833-4b9e-a6e1-86603c77831a).html
Uses Software
Cites Work