@article{Delzanno_2016,
    doi = {10.1007/s10009-016-0412-7},
    url = {https://doi.org/10.1007%2Fs10009-016-0412-7},
    year = {2016},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {18},
    number = {5},
    pages = {475--493},
    author = {Giorgio Delzanno},
    title = {A unified view of parameterized verification of abstract models of broadcast communication},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Delzanno_2016, doi = {10.1007/s10009-016-0412-7}, url = {https://doi.org/10.1007%2Fs10009-016-0412-7}, year = {2016}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {18}, number = {5}, pages = {475--493}, author = {Giorgio Delzanno}, title = {A unified view of parameterized verification of abstract models of broadcast communication}, journal = {International Journal on Software Tools for Technology Transfer} }