Verimag

bibtex

@inproceedings{BBB+11h,
    title = {Component Assemblies in the Context of Manycore },
    author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Bourgos, Paraskevas and Maheshwari, Mayur and Sifakis, Joseph},
    year = {2011},
    booktitle = {Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
    pages = {314-333},
    publisher = {Springer},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 775498