Debugging Paxos in the UML Multiverse.

Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Loc Lagadec

Browse the full MODELS paper archive.