bibtex

@article{BBQ+5,
    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, RSD},
}

URL


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

info visites 4190669