DMCA

Probabilistic Verification Of A Synchronous Round-Based Consensus Protocol (1997)

Cached

Download Links

by H.S. Duggal , Michel Cukier , William H. S
Venue:In Proceedings of The 16th Symposium on Reliable Distributed Systems (SRDS ’97
Citations:5 - 0 self