## Stem schorr$ (all stems)

### 3 papers:

- LOPSTR-2010-GiorginoSMP #algorithm #graph #verification
- Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.
- SAS-2006-LoginovRS #algorithm #automation #verification
- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm (AL, TWR, MS), pp. 261–279.
- SEFM-2005-HubertM #algorithm #c #case study #source code #verification
- A case study of C source code verification: the Schorr-Waite algorithm (TH, CM), pp. 190–199.