%0 Conference Proceedings
%F Basu10a
%A Basu, Ananda
%A Bensalem, Saddek
%A Bozga, Marius
%A Caillaud, Benoît
%A Delahaye, Benoît
%A Legay, Axel
%T Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
%B Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
%E Hatcliff, John
%E Zucca, Elena
%V 6117
%P 32-46
%S Lecture Notes in Computer Science
%I Springer
%U http://www.irisa.fr/s4/download/papers/samc-forte-2010.pdf
%U http://dx.doi.org/10.1007/978-3-642-13464-7_4
%D 2010
%K component