Verifying Commit-Atomicity Using Model-Checking
Published in Lecture notes in computer science • Jan 1, 2004
NobleIDNI3P51W80R33S75
Authors:
Cormac Flanagan
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!