dblp.uni-trier.dewww.uni-trier.de

David Spelt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
4EESusan 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
2EEDavid Spelt, Susan Even: A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS 1999: 375-389
1997
1EEDavid Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412

Coauthor Index

1Herman Balsters [1]
2Susan Even [2] [3] [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)