Login / Signup

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.

Marta Z. KwiatkowskaGethin NormanRoberto Segala
Published in: CAV (2001)
Keyphrases