Searching for "Formal Verification of the TTP Group Membership Algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Formal Verification Of The TTP Group Membership Algorithm
by Holger Pfeifer, Universitt Ulm — 2000 — In IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication protocols and Protocol Specification, Testing and Verification, FORTE/PSTV 2000
…. Formal Verification of the TTP Group Membership Algorithm 5 Finally, once a processor becomes faulty…
Cited by 22 (4 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB