Harpreet S. Duggal

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Harpreet S. Duggal, Michel Cukier, William H. Sanders
Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. SRDS (1997)