Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi. Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 85-94, IEEE Computer Society, 2010. [doi]
Abstract is missing.