Protocol Verification Via Rigid/Flexible Resolution.

Stphanie Delaune, Hai Lin, Christopher Lynch

Browse the full LPAR paper archive.