State Compression in Spin (1997)

by G Holzmann
Venue:In Proc. of the 3rd Spin Workshop