@inproceedings{BIS+5,
title = { Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks },
author = {Bozga, Marius and Iosif, Radu and Sangnier, Arnaud and Villani, Neven},
year = {2025},
booktitle = {Computer Aided Verification - 37th International Conference, {CAV} 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {III}},
pages = {238--262},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {15933},
team = {axe_Mohytos, RSD},
}
