Symbolic Protocol Verification With Queue BDDs.

Patrice Godefroid, David E. Long

Browse the full LICS paper archive.