| |
| 2001 | ||
|---|---|---|
| 5 | David Spelt, Susan Even: Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurrency and Computation: Practice and Experience 13(11): 1013-1032 (2001) | |
| 1999 | ||
| 4 | EE | 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. ECOOP Workshop on Object-Oriented Databases 1999: 109-120 |
| 3 | 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. ECOOP Workshops 1999: 216-217 | |
| 2 | EE | David Spelt, Susan Even: A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS 1999: 375-389 |
| 1997 | ||
| 1 | EE | David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412 |
| 1 | Herman Balsters | [1] |
| 2 | Susan Even | [2] [3] [4] [5] |