Login / Signup

Effective verification of systems with a dynamic number of components.

Pavlína VarekováPavel MoravecIvana CernáBarbora Zimmerova
Published in: SAVCBS (2007)
Keyphrases