@inproceedings{KKW+6,
title = {Parameterized Systems in {BIP:} Design and Model Checking },
author = {Konnov, Igor V. and Kotek, Tomer and Wang, Qiang and Veith, Helmut and Bliudze, Simon and Sifakis, Joseph},
year = {2016},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada},
pages = {30:1--30:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {LIPIcs},
volume = {59},
team = {RSD},
}
