Verimag

bibtex

@article{BBQ+15,
    title = { Optimized distributed implementation of multiparty interactions with Restriction },
    author = {Bensalem, Saddek and Bozga, Marius and Quilbeuf, Jean and Sifakis, Joseph},
    year = {2015},
    journal = {Sci. Comput. Program.},
    pages = {293--316},
    volume = {98},
    team = {rsd, dcs, DCS},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 777863