Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model.

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. 216-217 1999 conf/ecoopw/1999 ECOOP Workshops db/conf/ecoopw/ecoopw99.html#EvenS99a