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

by Gerard J. Holzmann
Venue:IN PROCEEDINGS OF THIRD INTERNATIONAL SPIN WORKSHOP
Citations:40 - 1 self