Bernard Boigelot, Patrice Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods in System Design, 14(3):237-255, 1999.
@article{BoigelotG99,
title = {Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs},
author = {Bernard Boigelot and Patrice Godefroid},
year = {1999},
tags = {protocol},
researchr = {https://researchr.org/publication/BoigelotG99},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {14},
number = {3},
pages = {237-255},
}