@techreport{BIS8,
title = { Checking Deadlock-Freedom of Parametric Component-Based Systems },
author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
year = {2018},
eprint = {1805.10073},
journal = {CoRR},
volume = {abs/1805.10073},
team = {RSD, axe_Mohytos},
archiveprefix = {arXiv},
timestamp = {Mon, 13 Aug 2018 16:49:03 +0200},
biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-10073},
bibsource = {dblp computer science bibliography, https://dblp.org},
}