Patrice Godefroid, David E. Long. Symbolic Protocol Verification with Queue BDDs. Formal Methods in System Design, 14(3):257-271, 1999.
@article{GodefroidL99, title = {Symbolic Protocol Verification with Queue BDDs}, author = {Patrice Godefroid and David E. Long}, year = {1999}, tags = {protocol, e-science}, researchr = {https://researchr.org/publication/GodefroidL99}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {14}, number = {3}, pages = {257-271}, }