@incollection{Blondin_2021,
    doi = {10.1007/978-3-030-72013-1_1},
    url = {https://doi.org/10.1007%2F978-3-030-72013-1_1},
    year = {2021},
    publisher = {Springer International Publishing},
    pages = {3--23},
    author = {Michael Blondin and Christoph Haase and Philip Offtermatt},
    title = {Directed Reachability for Infinite-State Systems},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Blondin_2021, doi = {10.1007/978-3-030-72013-1_1}, url = {https://doi.org/10.1007%2F978-3-030-72013-1_1}, year = {2021}, publisher = {Springer International Publishing}, pages = {3--23}, author = {Michael Blondin and Christoph Haase and Philip Offtermatt}, title = {Directed Reachability for Infinite-State Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }