Felice Balarin;Alberto L. Sangiovanni-Vincentelli
-;-
Verifying Systems with Replicated Components in Mur&b.phiv;
Formal Methods in System Design