Login / Signup

Design and Verification of Distributed Recovery Blocks with CSP.

Wing Lok YeungSteve A. Schneider
Published in: Formal Methods Syst. Des. (2003)
Keyphrases