@inproceedings{BIS9,
title = { {Checking Deadlock-Freedom of Parametric Component-Based Systems} },
author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
month = {Apr},
year = {2019},
booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference}},
address = {Prague, Czech Republic},
pages = {3-20},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02388021/file/final.pdf},
hal_id = {hal-02388021},
hal_version = {v1},
}
