Login / Signup

Automated Analysis of Fault-Tolerance in Distributed Systems.

Scott D. StollerFred B. Schneider
Published in: Formal Methods Syst. Des. (2005)
Keyphrases