Riccardo Traverso (FBK

Identifiers

• name variant Riccardo Traverso (FBK 0.60 · backfill

Papers (1)

1. Model Checking Paxos in Spin cs.LO · 2014 · author #5

Mentions

• 1408.5962 #5 · backfill · confidence 0.70 Riccardo Traverso (FBK

Frequent Coauthors

• Giorgio Delzanno (DIBRIS 1 shared papers
• Michele Tatarek (DIBRIS 1 shared papers
• Trento) 1 shared papers
• University of Genova) 1 shared papers