State Compression in Spin (1997)

by G J Holzmann