@article{BIS3,
title = { Verification of component-based systems with recursive architectures },
author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
year = {2023},
journal = {Theor. Comput. Sci.},
pages = {146--175},
volume = {940},
team = {axe_Mohytos, RSD},
timestamp = {Mon, 05 Dec 2022 13:35:12 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BozgaIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
