@article{Abdulla_2016,
    doi = {10.1007/s10009-016-0424-3},
    url = {https://doi.org/10.1007%2Fs10009-016-0424-3},
    year = {2016},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {18},
    number = {5},
    pages = {469--473},
    author = {Parosh A. Abdulla and Giorgio Delzanno},
    title = {Parameterized verification},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Abdulla_2016, doi = {10.1007/s10009-016-0424-3}, url = {https://doi.org/10.1007%2Fs10009-016-0424-3}, year = {2016}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {18}, number = {5}, pages = {469--473}, author = {Parosh A. Abdulla and Giorgio Delzanno}, title = {Parameterized verification}, journal = {International Journal on Software Tools for Technology Transfer} }