Verifying systems with replicated components in Murphi (1996)

by C N Ip, D L Dill
Venue:In Proceedings of the 8th International Conference on Computer Aided Verification, CAV '96