Treffer: Verifying fault tolerance of distributed algorithms formally-an example
Title:
Verifying fault tolerance of distributed algorithms formally-an example
Authors:
Source:
Proceedings 1998 International Conference on Application of Concurrency to System Design Application of concurrency to system design Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on. :187-197 1998
Relation:
Proceedings 1998 International Conference on Application of Concurrency to System Design
Database:
IEEE Xplore Digital Library