%0 Journal Article %1 journals/scp/AttanasioCI03 %A Attanasio, Candida %A Corradini, Flavio %A Inverardi, Paola %D 2003 %J Sci. Comput. Program. %K dblp %N 1-2 %P 5-30 %T Static analysis of real-time component-based systems configurations. %U http://dblp.uni-trier.de/db/journals/scp/scp46.html#AttanasioCI03 %V 46

@article{journals/scp/AttanasioCI03, added-at = {2003-11-27T00:00:00.000+0100}, author = {Attanasio, Candida and Corradini, Flavio and Inverardi, Paola}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2375e7a22bfe1b09b6f841cf56fe337ab/dblp}, ee = {http://dx.doi.org/10.1016/S0167-6423(02)00085-0}, interhash = {80936ee77890124153aa99250e6883db}, intrahash = {375e7a22bfe1b09b6f841cf56fe337ab}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-2}, pages = {5-30}, timestamp = {2016-02-02T02:39:50.000+0100}, title = {Static analysis of real-time component-based systems configurations.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp46.html#AttanasioCI03}, volume = 46, year = 2003 }