bibtex

@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},
    pdf = {https://hal.archives-ouvertes.fr/hal-02388021/file/final.pdf}, hal_id = {hal-02388021}, hal_version = {v1},
}

URL

Sections de Publications


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

info visites 1675193