TY  - RPRT
TI  - Checking Deadlock-Freedom of Parametric Component-Based Systems
AU  - Marius Bozga
AU  - Radu Iosif
AU  - Joseph Sifakis
PY  - 2019
UR  - https://arxiv.org/abs/1805.10073
ID  - 1805.10073
ER  -