%0 Journal Article %1 journals/software/BasuBBCJNS11 %A Basu, Ananda %A Bensalem, Saddek %A Bozga, Marius %A Combaz, Jacques %A Jaber, Mohamad %A Nguyen, Thanh-Hung %A Sifakis, Joseph %D 2011 %J IEEE Software %K dblp %N 3 %P 41-48 %T Rigorous Component-Based System Design Using the BIP Framework. %U http://dblp.uni-trier.de/db/journals/software/software28.html#BasuBBCJNS11 %V 28

@article{journals/software/BasuBBCJNS11, added-at = {2016-01-12T00:00:00.000+0100}, author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques and Jaber, Mohamad and Nguyen, Thanh-Hung and Sifakis, Joseph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24ed53a7e7334ca21ec0e81ef965c7b0d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2011.27}, interhash = {8d47f793a77170a344fa69631642c586}, intrahash = {4ed53a7e7334ca21ec0e81ef965c7b0d}, journal = {IEEE Software}, keywords = {dblp}, number = 3, pages = {41-48}, timestamp = {2016-02-02T02:16:25.000+0100}, title = {Rigorous Component-Based System Design Using the BIP Framework.}, url = {http://dblp.uni-trier.de/db/journals/software/software28.html#BasuBBCJNS11}, volume = 28, year = 2011 }