Go backward to
A Proving Assertions
Go up to
Top
Go forward to
Footnotes
B Distributed Snapshots
B.1 Problem
B.2 Algorithm
B.3 Program
B.4 State Program
B.5 Verification
Maintainer:
Wolfgang Schreiner
Last Modification: November 14, 1997
