%0 Conference Proceedings
%F Delahaye2010a
%A Delahaye, Benoît
%A Caillaud, Benoît
%A Legay, Axel
%T Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems
%B Proc. 10th International Conference on Application of Concurrency to System Design (ACSD), Braga, Portugal
%I IEEE
%U http://www.irisa.fr/s4/download/papers/dcl-acsd10.pdf
%U http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.13
%D 2010
%K component