@incollection{Silverman_2019,
    doi = {10.1007/978-3-030-25543-5_7},
    url = {https://doi.org/10.1007%2F978-3-030-25543-5_7},
    year = {2019},
    publisher = {Springer International Publishing},
    pages = {97--115},
    author = {Jake Silverman and Zachary Kincaid},
    title = {Loop Summarization with Rational Vector Addition Systems},
    booktitle = {Computer Aided Verification}
}

@incollection{Silverman_2019, doi = {10.1007/978-3-030-25543-5_7}, url = {https://doi.org/10.1007%2F978-3-030-25543-5_7}, year = {2019}, publisher = {Springer International Publishing}, pages = {97--115}, author = {Jake Silverman and Zachary Kincaid}, title = {Loop Summarization with Rational Vector Addition Systems}, booktitle = {Computer Aided Verification} }