Verifying systems with replicated components in Murϕ (1996)

by C Norris Ip, David L Dill
Venue:Computer-Aided Verification (CAV ’96), LNCS 1102