Sciweavers

DAGSTUHL
1998

Results on Reasoning about Updates in Transaction Logic

13 years 5 months ago
Results on Reasoning about Updates in Transaction Logic
Anthony J. Bonner, Michael Kifer
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where DAGSTUHL
Authors Anthony J. Bonner, Michael Kifer
Comments (0)