@article{BIS1,
title = { Checking deadlock-freedom of parametric component-based systems },
author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
year = {2021},
journal = {J. Log. Algebraic Methods Program.},
pages = {100621},
volume = {119},
team = {axe_Mohytos, RSD},
timestamp = {Wed, 07 Apr 2021 15:59:25 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BozgaIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}