Bernard Boigelot, Patrice Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract). In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 1-12, Springer, 1996.
@inproceedings{BoigelotG96,
title = {Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract)},
author = {Bernard Boigelot and Patrice Godefroid},
year = {1996},
tags = {protocol},
researchr = {https://researchr.org/publication/BoigelotG96},
cites = {0},
citedby = {0},
pages = {1-12},
booktitle = {Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
editor = {Rajeev Alur and Thomas A. Henzinger},
volume = {1102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61474-5},
}