Login / Signup

A Logic-Based Framework for Verifying Consensus Algorithms.

Cezara DragoiThomas A. HenzingerHelmut VeithJosef WidderDamien Zufferey
Published in: VMCAI (2014)
Keyphrases