Symbolic Protocol Verification With Queue BDDs

Patrice Godefroid, David E. Long. Symbolic Protocol Verification With Queue BDDs. In LICS. pages 198-206, 1996.

Abstract

Abstract is missing.