Verification of the Schorr-Waite Algorithm - From Trees to Graphs.

Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel

Browse the full LOPSTR paper archive.