@article{Boigelot_1999,
    author = {Bernard Boigelot and Patrice Godefroid},
    doi = {https://dx.doi.org/10.1023/a:1008719024240},
    url = {https://doi.org/10.1023%2Fa%3A1008719024240},
    year = {1999},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {14},
    number = {3},
    pages = {237--255},
    journal = {Formal Methods in System Design},
    title = {{Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs}},
    date-modified = {2025-10-13 8:21:48 +0100},
    obsidian_note = {test3}
}

@article{Boigelot_1999, author = {Bernard Boigelot and Patrice Godefroid}, doi = {https://dx.doi.org/10.1023/a:1008719024240}, url = {https://doi.org/10.1023%2Fa%3A1008719024240}, year = {1999}, publisher = {Springer Science and Business Media {LLC}}, volume = {14}, number = {3}, pages = {237--255}, journal = {Formal Methods in System Design}, title = {{Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs}}, date-modified = {2025-10-13 8:21:48 +0100}, obsidian_note = {test3} }