M., G/i.sc/a.sc/n.sc/n.sc/a.sc/k.sc/o.sc/p.sc/o.sc/u.sc/l.sc/o.sc/u.sc, D., /a.sc/n.sc/d.sc P/abreve.sc/s.sc/abreve.sc/r.sc/e.sc/a.sc/n.sc/u.sc, C

C/o · 2003

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.DC · 2024-04-28 · unverdicted · novelty 7.0

Introduces inductive proof decomposition using proof graphs for interactive safety verification of distributed protocols including Raft.

Showing 1 of 1 citing paper.

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition cs.DC · 2024-04-28 · unverdicted · none · ref 5
Introduces inductive proof decomposition using proof graphs for interactive safety verification of distributed protocols including Raft.