David Spelt

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2001
j1		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
c4		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
c3		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
c2		David Spelt, Susan Even: A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. TACAS 1999: 375-389
	1997
c1		David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412

Coauthor Index

1	Herman Balsters	[c1]
2	Susan Even	[j1] [c4] [c3] [c2]

Last update Tue May 21 16:04:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page