bibtex

@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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3885775