Bloom filters in probabilistic verification (2004)

by P C Dillinger, P Manolios
Venue:of Lecture Notes in Computer Science