%0 Conference Proceedings
%F XuGoesslerGirault2010
%A Xu, D.N.
%A Gössler, G.
%A Girault, A.
%T Probabilistic Contracts for Component-based Design
%B International Symposium on Automated Technology for Verification and Analysis, ATVA'10
%E Bouajjani, A.
%E Chin, W.-N.
%V 6252
%P 325-340
%S LNCS
%I Springer-Verlag
%C Singapore
%8 September
%D 2010