Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

S.J. Even; D. Spelt

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

S.J. Even, D. Spelt

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	ECOOP'99 Workshop Reader "Object-Oriented Technology"
Place of Publication	Lisboa, Portugal
Pages	216-217
Publication status	Published - 15 Jun 1999

Keywords

METIS-119614

Cite this

@inproceedings{7919b73c5198456088724c34b8eb7bed,

title = "Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model",

keywords = "METIS-119614",

author = "S.J. Even and D. Spelt",

year = "1999",

month = jun,

day = "15",

language = "Undefined",

isbn = "3-540-66954-x",

pages = "216--217",

booktitle = "ECOOP'99 Workshop Reader {"}Object-Oriented Technology{"}",

}

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. / Even, S.J.; Spelt, D.

ECOOP'99 Workshop Reader "Object-Oriented Technology". Lisboa, Portugal, 1999. p. 216-217.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

AU - Even, S.J.

AU - Spelt, D.

PY - 1999/6/15

Y1 - 1999/6/15

KW - METIS-119614

M3 - Conference contribution

SN - 3-540-66954-x

SP - 216

EP - 217

BT - ECOOP'99 Workshop Reader "Object-Oriented Technology"

CY - Lisboa, Portugal

ER -