Login / Signup

Symbolic Protocol Verification with Queue BDDs.

Patrice GodefroidDavid E. Long
Published in: Formal Methods Syst. Des. (1999)
Keyphrases