Susan Even, David Spelt Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. [Citation Graph (0, 0)][DBLP] ECOOP Workshop on Object-Oriented Databases, 1999, pp:109-120 [Conf]
Susan Even, David Spelt Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:216-217 [Conf]
David Spelt, Susan Even Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. [Citation Graph (0, 0)][DBLP] Concurrency and Computation: Practice and Experience, 2001, v:13, n:11, pp:1013-1032 [Journal]