@inproceedings{Arbab-Baier:FSE07,
author = {Farhad Arbab and
Christel Baier},
title = {Syanco 2007: international workshop on synthesis and analysis of component connectors},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {607--608},
publisher = {{ACM}},
year = {2007},
}