An analysis of bitstate hashing (1998)

by G HOLZMANN
Venue:Formal Methods in System Design