Verifying Systems with Replicated Components in Murφ (1997)

by C. Norris Ip , David L. Dill
Citations:42 - 3 self