C. Norris Ip, David L. Dill. Verifying Systems with Replicated Components in Mur[b.phiv]. Formal Methods in System Design, 14(3):273-310, 1999.
@article{IpD99, title = {Verifying Systems with Replicated Components in Mur[b.phiv]}, author = {C. Norris Ip and David L. Dill}, year = {1999}, tags = {C++}, researchr = {https://researchr.org/publication/IpD99}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {14}, number = {3}, pages = {273-310}, }