Better verification through symmetry (1993)

by C N Ip, D L Dill
Venue:In 11th International Conference on Computer Hardware Description Languages and their Applications