Treffer: Verification of a distributed computing system by layered proofs

Title:
Verification of a distributed computing system by layered proofs
Authors:
Cui Zhang, Becker, B.R., Peticolas, D., Heckman, M., Levitt, K., Olsson, R.A.
Source:
Proceedings of the Thirtieth Hawaii International Conference on System Sciences System sciences System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on. 5:252-261 vol.5 1997
Relation:
Proceedings of the Thirtieth Hawaii International Conference on System Sciences
Database:
IEEE Xplore Digital Library