An analysis of bitstate hashing (1998)

by G J Holzmann
Venue:Form. Methods Syst. Des