@incollection{Boigelot_1997,
    doi = {10.1007/bfb0032741},
    url = {https://doi.org/10.1007%2Fbfb0032741},
    year = {1997},
    publisher = {Springer Berlin Heidelberg},
    pages = {172--186},
    author = {Bernard Boigelot and Patrice Godefroid and Bernard Willems and Pierre Wolper},
    title = {The power of {QDDs} (extended abstract)},
    booktitle = {Static Analysis}
}

@incollection{Boigelot_1997, doi = {10.1007/bfb0032741}, url = {https://doi.org/10.1007%2Fbfb0032741}, year = {1997}, publisher = {Springer Berlin Heidelberg}, pages = {172--186}, author = {Bernard Boigelot and Patrice Godefroid and Bernard Willems and Pierre Wolper}, title = {The power of {QDDs} (extended abstract)}, booktitle = {Static Analysis} }