June-Kyung Rho;Fabio Somenzi
-;-
Verifying Systems with Replicated Components in Mur&b.phiv;
Formal Methods in System Design