%0 Journal Article %1 Balasubramanian_2021 %A Balasubramanian, A.R. %D 2021 %I Elsevier BV %J Information and Computation %K journal %P 104592 %R 10.1016/j.ic.2020.104592 %T Parameterized verification of coverability in infinite state broadcast networks %U https://doi.org/10.1016%2Fj.ic.2020.104592 %V 278

@article{Balasubramanian_2021, added-at = {2022-11-17T15:12:46.000+0100}, author = {Balasubramanian, A.R.}, biburl = {https://www.bibsonomy.org/bibtex/2100f1e0f3f82d4016b087661d3073d6f/paves}, doi = {10.1016/j.ic.2020.104592}, interhash = {bbd6b3fe815440b4729cc13d6ec6097a}, intrahash = {100f1e0f3f82d4016b087661d3073d6f}, journal = {Information and Computation}, keywords = {journal}, month = jun, pages = 104592, publisher = {Elsevier {BV}}, timestamp = {2023-09-24T19:38:36.000+0200}, title = {Parameterized verification of coverability in infinite state broadcast networks}, url = {https://doi.org/10.1016%2Fj.ic.2020.104592}, volume = 278, year = 2021 }