@incollection{Kaiser_2010,
    doi = {10.1007/978-3-642-14295-6_55},
    url = {https://doi.org/10.1007%2F978-3-642-14295-6_55},
    year = {2010},
    publisher = {Springer Berlin Heidelberg},
    pages = {645--659},
    author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
    title = {Dynamic Cutoff Detection in Parameterized Concurrent Programs},
    booktitle = {Computer Aided Verification}
}

@incollection{Kaiser_2010, doi = {10.1007/978-3-642-14295-6_55}, url = {https://doi.org/10.1007%2F978-3-642-14295-6_55}, year = {2010}, publisher = {Springer Berlin Heidelberg}, pages = {645--659}, author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl}, title = {Dynamic Cutoff Detection in Parameterized Concurrent Programs}, booktitle = {Computer Aided Verification} }