Pavlína Vareková, Pavel Moravec 0002, Ivana Cerná, Barbora Zimmerova. Effective verification of systems with a dynamic number of components. In Arnd Poetzsch-Heffter, editor, Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007. pages 3-13, ACM, 2007. [doi]
Abstract is missing.