Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}