Verifying Systems with Replicated Components in Mur

C. Norris Ip, David L. Dill

Browse the full CAV paper archive.