PLURAL: checking protocol compliance under aliasing.

Kevin Bierhoff, Jonathan Aldrich

Browse the full ICSE paper archive.