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

Mathieu Giorgino et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics