Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1408.5962
Cited By
Model Checking Paxos in Spin
26 August 2014
G. Delzanno
Michele Tatarek
Riccardo Traverso
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Model Checking Paxos in Spin"
1 / 1 papers shown
Title
Graph- versus Vector-Based Analysis of a Consensus Protocol
G. Delzanno
A. Rensink
Riccardo Traverso
36
3
0
30 Jul 2014
1
