%0 Conference Paper %1 conf/lics/GodefroidL96 %A Godefroid, Patrice %A Long, David E. %B LICS %D 1996 %I IEEE Computer Society %K dblp %P 198-206 %T Symbolic Protocol Verification With Queue BDDs. %U http://dblp.uni-trier.de/db/conf/lics/lics96.html#GodefroidL96 %@ 0-8186-7463-6

@inproceedings{conf/lics/GodefroidL96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Godefroid, Patrice and Long, David E.}, biburl = {https://www.bibsonomy.org/bibtex/245f538f4a51656b8df1ece758e5bd625/dblp}, booktitle = {LICS}, crossref = {conf/lics/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1996.561318}, interhash = {a454efbef7c86dffa2903dc108e207ce}, intrahash = {45f538f4a51656b8df1ece758e5bd625}, isbn = {0-8186-7463-6}, keywords = {dblp}, pages = {198-206}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:38.000+0200}, title = {Symbolic Protocol Verification With Queue BDDs.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics96.html#GodefroidL96}, year = 1996 }