Design and Verification of Distributed Recovery Blocks with CSP (1998)

Cached

Download Links

by W. L. Yeung , S. A. Schneider
Citations:1 - 1 self