@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},
}
