State Compression in SPIN: Recursive Indexing And Compression Training Runs (1997)

by Gerard J. Holzmann
Venue:IN PROCEEDINGS OF THIRD INTERNATIONAL SPIN WORKSHOP