bibtex

@inproceedings{BBI2b,
    title = { On an Invariance Problem for Parameterized Concurrent Systems },
    author = {Bozga, Marius and Bueri, Lucas and Iosif, Radu},
    year = {2022},
    booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland},
    pages = {24:1--24:16},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    series = {LIPIcs},
    volume = {243},
    team = {axe_Mohytos, RSD},
    timestamp = {Mon, 26 Sep 2022 17:09:13 +0200}, biburl = {https://dblp.org/rec/conf/concur/BozgaBI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 4136571