Memory Efficient State Storage in SPIN (1996)

by Willem Visser
Venue:In Proceedings of the 2nd SPIN Workshop
Citations:12 - 0 self