@inproceedings{BEI+0,
title = { Structural Invariants for the Verification of Systems with Parameterized Architectures },
author = {Bozga, Marius and Esparza, Javier and Iosif, Radu and Sifakis, Joseph and Welzel, Christoph},
year = {2020},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, , Proceedings, Part {I}},
pages = {228--246},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {12078},
team = {RSD, axe_Mohytos},
timestamp = {Mon, 04 May 2020 13:23:20 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozgaEISW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
